Autor der Publikation

Domain Reduction for the Circuit Constraint.

, und . CP, Volume 3709 von Lecture Notes in Computer Science, Seite 846. Springer, (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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Branch-and-Cut Solution of Inference Problems in Propositional Logic., und . Ann. Math. Artif. Intell., (1990)Mimetic vs Anchored Value Alignment in Artificial Intelligence., , und . CoRR, (2018)Tight representation of logical constraints as cardinality rules., und . Math. Program., 85 (2): 363-377 (1999)Improved Job Sequencing Bounds from Decision Diagrams.. CP, Volume 11802 von Lecture Notes in Computer Science, Seite 268-283. Springer, (2019)Projection, Inference, and Consistency.. IJCAI, Seite 4175-4179. IJCAI/AAAI Press, (2016)Domain Reduction for the Circuit Constraint., und . CP, Volume 3709 von Lecture Notes in Computer Science, Seite 846. Springer, (2005)A Filter for the Circuit Constraint., und . CP, Volume 4204 von Lecture Notes in Computer Science, Seite 706-710. Springer, (2006)A Relaxation of the Cumulative Constraint., und . CP, Volume 2470 von Lecture Notes in Computer Science, Seite 686-690. Springer, (2002)Consistency for 0-1 Programming., und . CPAIOR, Volume 11494 von Lecture Notes in Computer Science, Seite 225-240. Springer, (2019)Variable Ordering for the Application of BDDs to the Maximum Independent Set Problem., , , und . CPAIOR, Volume 7298 von Lecture Notes in Computer Science, Seite 34-49. Springer, (2012)