( en | de | ru )

 

Disambiguierung von "Bordeaux, Lucas"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
CSP Properties for Quantified Constraints: Definitions and Complexity.

, , und . AAAI, Seite 360-365. AAAI Press / The MIT Press, (2005)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Swana Swalve-Bordeaux

Steffen Lucas

German Lucas

Rainer Lucas

Otto Lucas

 

Weitere Publikationen von Autoren mit dem selben Namen

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