( en | de | ru )

 

Disambiguation of "Zhou, Neng-Fa"

Author of the publication

copydeleteadd this publication to your clipboard
A Linear Tabling Mechanism.

, , , and . ICLP, page 618. MIT Press, (1999)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Zhou Zhou

Julia Neng

Sabine Nengel

Andrea Nengel

Zhou Zhou

 

Other publications of authors with the same name

The Language Features and Architecture of B-Prolog. CoRR, (2011)Linear tabling strategies and optimizations., , and . Theory Pract. Log. Program., 8 (1): 81-109 (2008)In Pursuit of an Efficient SAT Encoding for the Hamiltonian Cycle Problem.. CP, volume 12333 of Lecture Notes in Computer Science, page 585-602. Springer, (2020)A Constraint-Based Graphics Library for B-Prolog.. CP, volume 3258 of Lecture Notes in Computer Science, page 819-820. Springer, (2004)Generative Modeling with Failure in PRISM., , and . IJCAI, page 847-852. Professional Book Center, (2005)Encoding Table Constraints in CLP(FD) Based on Pair-Wise AC.. ICLP, volume 5649 of Lecture Notes in Computer Science, page 402-416. Springer, (2009)Optimizing SAT Encodings for Arithmetic Constraints., and . CP, volume 10416 of Lecture Notes in Computer Science, page 671-686. Springer, (2017)Programming in Picat.. RuleML, volume 9718 of Lecture Notes in Computer Science, page 3-18. Springer, (2016)CGLIB - a constraint-based graphics library.. Softw. Pract. Exp., 33 (13): 1199-1216 (2003)Yet Another Comparison of SAT Encodings for the At-Most-K Constraint.. CoRR, (2020)