9 results on '"Zhou, Neng"'
Search Results
2. Programming in Picat
3. The Picat-SAT Compiler
4. Compiling Answer Set Programs into Event-Driven Action Rules
5. Encoding Table Constraints in CLP(FD) Based on Pair-Wise AC
6. A Constraint-Based Graphics Library for B-Prolog
7. Linear Tabulated Resolution for the Well-Founded Semantics
8. Implementation of a Linear Tabling Mechanism
9. A Register-Free Abstract Prolog Machine with Jumbo Instructions
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.