( en | de | ru )

 

Disambiguation of "Zhou, Neng-Fa"

Author of the publication

copydeleteadd this publication to your clipboard
A Tabled Prolog Program for Solving Sokoban.

, and . Fundam. Informaticae, 124 (4): 561-575 (2013)

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

B-Prolog: A High Performance Prolog Compiler., , , , and . IEA/AIE, page 790. Gordon and Breach Science Publishers, (1996)Generative Modeling with Failure in PRISM., , and . IJCAI, page 847-852. Professional Book Center, (2005)A Constraint-Based Graphics Library for B-Prolog.. CP, volume 3258 of Lecture Notes in Computer Science, page 819-820. Springer, (2004)Optimizing SAT Encodings for Arithmetic Constraints., and . CP, volume 10416 of Lecture Notes in Computer Science, page 671-686. Springer, (2017)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)The Language Features and Architecture of B-Prolog. CoRR, (2011)Programming in Picat.. RuleML, volume 9718 of Lecture Notes in Computer Science, page 3-18. Springer, (2016)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)Compiling and Executing PDDL in Picat., , , and . CILC, volume 1645 of CEUR Workshop Proceedings, page 132-147. CEUR-WS.org, (2016)Mode-Directed Tabling for Dynamic Programming, Machine Learning, and Constraint Solving., , and . ICTAI (2), page 213-218. IEEE Computer Society, (2010)978-0-7695-4263-8.