Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Zhou, Neng Fa - Department of Computer and Information Science, Brooklyn College, City University of New York
!#"%$&')(!0& 132456&$879@BAC&4D0$EF4 1G@HIF40P0Q
by Neng-Fa Zhou at Kyutech 1 Solving Combinatorial Search
Implementation of a Linear Tabling Mechanism Neng-Fa Zhou
by Neng-Fa Zhou at WLP'09 1 What I Have Learned From All
Encoding Table Constraints in CLP(FD) Based on Pair-wise AC
Declarative Loops and List Comprehensions for Neng-Fa Zhou
Translating Constraint Handling Rules into Action Rules
by Neng-Fa Zhou at Kyutech 1 Solving Constraint Satisfaction
Theory and Practice of Logic Programming, Vol. 6, No. 5, pp.483-508, 2006 1 Programming Finite-Domain Constraint
B-Prolog: An Overview www.bprolog.com
A Report on the BPrologCSP Solver Neng-Fa Zhou
Theory and Practice of Logic Programming 1 The Language Features and Architecture of
Mode-Directed Tabling for Dynamic Programming, Machine Learning, and Constraint Solving
To appear in Theory and Practice of Logic Programming 1 Linear Tabling Strategies and Optimizations
A Register-free Abstract Prolog Machine with Jumbo Instructions
Under consideration for publication in Theory and Practice of Logic Programming 1 Linear Tabling Strategies and Optimizations
Semi-naive Evaluation in Linear Tabling Neng-Fa Zhou
Toward a High-performance System for Symbolic and Statistical Modeling Neng-Fa Zhou
A Register-free Abstract Prolog Machine with Jumbo Instructions
