( en | de | ru )

 

Disambiguation of "Zhou, Neng-Fa"

Author of the publication

copydeleteadd this publication to your clipboard
Proceedings of CICLOPS-WLPE 2010

, and . CoRR, (2010)

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

Global Optimizations in a Prolog Compiler for the TOAM.. J. Log. Program., 15 (4): 275-294 (1993)The Language Features and Architecture of B-Prolog. CoRR, (2011)Optimizing SAT Encodings for Arithmetic Constraints., and . CP, volume 10416 of Lecture Notes in Computer Science, page 671-686. Springer, (2017)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)Programming in Picat.. RuleML, volume 9718 of Lecture Notes in Computer Science, page 3-18. Springer, (2016)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)Linear tabling strategies and optimizations., , and . Theory Pract. Log. Program., 8 (1): 81-109 (2008)CGLIB - a constraint-based graphics library.. Softw. Pract. Exp., 33 (13): 1199-1216 (2003)Compiling and Executing PDDL in Picat., , , and . CILC, volume 1645 of CEUR Workshop Proceedings, page 132-147. CEUR-WS.org, (2016)