Author of the publication

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.

 

Other publications of authors with the same name

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