Neng-Fa Zhou
Affiliations:- Brooklyn College, New York City, USA
According to our database1,
Neng-Fa Zhou
authored at least 64 papers
between 1990 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
On csauthors.net:
Bibliography
2024
Encoding the Hamiltonian Cycle Problem into SAT Based on Vertex Elimination (Short Paper).
Proceedings of the 30th International Conference on Principles and Practice of Constraint Programming, 2024
2023
Proceedings of the 26th International Conference on Theory and Applications of Satisfiability Testing, 2023
2021
Modeling and Solving Graph Synthesis Problems Using SAT-Encoded Reachability Constraints in Picat.
Proceedings of the Proceedings 37th International Conference on Logic Programming (Technical Communications), 2021
2020
Proceedings of the Principles and Practice of Constraint Programming, 2020
2018
Proceedings of the Eleventh International Symposium on Combinatorial Search, 2018
2017
Modeling and solving planning problems in tabled logic programming: Experience from the Cave Diving domain.
Sci. Comput. Program., 2017
Proceedings of the Tenth International Symposium on Combinatorial Search, 2017
Proceedings of the Practical Aspects of Declarative Languages, 2017
Proceedings of the 29th IEEE International Conference on Tools with Artificial Intelligence, 2017
Proceedings of the Technical Communications of the 33rd International Conference on Logic Programming, 2017
Proceedings of the Principles and Practice of Constraint Programming, 2017
2016
Proceedings of the Rule Technologies. Research, Tools, and Applications, 2016
Proceedings of the Practical Aspects of Declarative Languages, 2016
Multiple-Origin-Multiple-Destination Path Finding with Minimal Arc Usage: Complexity and Models.
Proceedings of the Workshop on Knowledge-based Techniques for Problem Solving and Reasoning co-located with 25th International Joint Conference on Artificial Intelligence (IJCAI 2016), 2016
Proceedings of the 31st Italian Conference on Computational Logic, 2016
2015
Springer Briefs in Intelligent Systems, Springer, ISBN: 978-3-319-25883-6, 2015
Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, 2015
2014
Theory Pract. Log. Program., 2014
2013
Toward a Dynamic Programming Solution for the 4-peg Tower of Hanoi Problem with Configurations
CoRR, 2013
Proceedings of the 2nd Symposium on Languages, Applications and Technologies, 2013
Proceedings of the Advances in Soft Computing and Its Applications, 2013
2012
Theory Pract. Log. Program., 2012
Theory Pract. Log. Program., 2012
Proceedings of the IEEE 24th International Conference on Tools with Artificial Intelligence, 2012
2011
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011
2010
Mode-Directed Tabling for Dynamic Programming, Machine Learning, and Constraint Solving.
Proceedings of the 22nd IEEE International Conference on Tools with Artificial Intelligence, 2010
2009
Proceedings of the Logic Programming, 25th International Conference, 2009
2008
2007
Proceedings of the Logic Programming, 23rd International Conference, 2007
2006
Theory Pract. Log. Program., 2006
2005
Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005
2004
Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2004
Yet More Efficient EM Learning for Parameterized Logic Programs by Inter-Goal Sharing.
Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004
Proceedings of the Principles and Practice of Constraint Programming, 2004
2003
Proceedings of the 5th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2003
2002
Implementing Constrant Solvers in B-Prolog.
Proceedings of the Intelligent Information Processing, 2002
2001
Theory Pract. Log. Program., 2001
Implementation of a Linear Tabling Mechanism.
J. Funct. Log. Program., 2001
Proceedings of the Web Knowledge Management and Decision Support, 2001
Authoring graphics-rich and interactive documents in CGLIB: a constraint-based graphics library.
Proceedings of the 2001 ACM Symposium on Document Engineering, 2001
1999
Proceedings of the Workshop on Optimization and Implementation of Declarative Programs, 1999
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1999
A Linear Tabling Mechanism.
Proceedings of the Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29, 1999
Proceedings of the 23rd International Computer Software and Applications Conference (COMPSAC '99), 1999
1998
A High-Level Intermediate Language and the Algorithms for Compiling Finite-Domain Constraints.
Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming, 1998
1996
ACM Trans. Program. Lang. Syst., 1996
B-Prolog: A High Performance Prolog Compiler.
Proceedings of the Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, 1996
Channel Routing with Constraint Logic Programming and Delay.
Proceedings of the Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, 1996
1995
A Logic Programming Approach to Channel Routing.
Proceedings of the Logic Programming, 1995
1994
On the Scheme of Passing Arguments in Stack Frames for Prolog.
Proceedings of the Logic Programming, 1994
1993
Global Optimizations in a Prolog Compiler for the TOAM.
J. Log. Program., 1993
On the Direct Parameter Passing Mechanism for Prolog Compilers.
Proceedings of the Logic Programming, 1993
Proceedings of the Fifth International Conference on Tools with Artificial Intelligence, 1993
1992
Implementing Graph Algorithms in BeTa-Prolog.
Proceedings of the Automated Reasoning, 1992
1991
Syst. Comput. Jpn., 1991
1990
A Matching Tree Oriented Abstract Machine for Prolog.
Proceedings of the Logic Programming, 1990