( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Generalizing Consistency and other Constraint Properties to Quantified Constraints

, , и . CoRR, (2007)

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.

Swana Swalve-Bordeaux

Steffen Lucas

German Lucas

Rainer Lucas

Otto Lucas

 

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

An Analysis of Slow Convergence in Interval Propagation., , и . CP, том 4741 из Lecture Notes in Computer Science, стр. 790-797. Springer, (2007)Knowledge Compilation with Empowerment., и . SOFSEM, том 7147 из Lecture Notes in Computer Science, стр. 612-624. Springer, (2012)Adaptive K-Parallel Best-First Search: A Simple but Efficient Algorithm for Multi-Core Domain-Independent Planning., , и . SOCS, стр. 100-107. AAAI Press, (2010)Knowledge Compilation Properties of Tree-of-BDDs., , и . AAAI, стр. 502-507. AAAI Press, (2007)Generalizing Consistency and other Constraint Properties to Quantified Constraints, , и . CoRR, (2007)Automated reasoning on monotonic constraints., и . ICTAI, стр. 401-. IEEE Computer Society, (2000)On Unit-Refutation Complete Formulae with Existentially Quantified Variables., , , и . KR, AAAI Press, (2012)Improved bounds on the complexity of kB-consistency., , и . IJCAI, стр. 303-308. Morgan Kaufmann, (2001)Describing and Reasoning on Web Services using Process Algebra., , и . ICWS, стр. 43-. IEEE Computer Society, (2004)CSP Properties for Quantified Constraints: Definitions and Complexity., , и . AAAI, стр. 360-365. AAAI Press / The MIT Press, (2005)