( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
On modeling planning problems in tabled logic programming.

, , и . PPDP, стр. 31-42. ACM, (2015)

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.

Zhou Zhou

Julia Neng

Sabine Nengel

Andrea Nengel

Zhou Zhou

 

Другие публикации лиц с тем же именем

In Pursuit of an Efficient SAT Encoding for the Hamiltonian Cycle Problem.. CP, том 12333 из Lecture Notes in Computer Science, стр. 585-602. Springer, (2020)Compiling and Executing PDDL in Picat., , , и . CILC, том 1645 из CEUR Workshop Proceedings, стр. 132-147. CEUR-WS.org, (2016)Mode-Directed Tabling for Dynamic Programming, Machine Learning, and Constraint Solving., , и . ICTAI (2), стр. 213-218. IEEE Computer Society, (2010)978-0-7695-4263-8.Optimizing SAT Encodings for Arithmetic Constraints., и . CP, том 10416 из Lecture Notes in Computer Science, стр. 671-686. Springer, (2017)A Constraint-Based Graphics Library for B-Prolog.. CP, том 3258 из Lecture Notes in Computer Science, стр. 819-820. Springer, (2004)The Language Features and Architecture of B-Prolog. CoRR, (2011)Programming in Picat.. RuleML, том 9718 из Lecture Notes in Computer Science, стр. 3-18. Springer, (2016)Encoding Table Constraints in CLP(FD) Based on Pair-Wise AC.. ICLP, том 5649 из Lecture Notes in Computer Science, стр. 402-416. Springer, (2009)Generative Modeling with Failure in PRISM., , и . IJCAI, стр. 847-852. Professional Book Center, (2005)B-Prolog: A High Performance Prolog Compiler., , , , и . IEA/AIE, стр. 790. Gordon and Breach Science Publishers, (1996)