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

Constraint satisfaction problems: Convexity makes AllDifferent constraints tractable., , , , and . Theor. Comput. Sci., (2013)Propagating Conjunctions of AllDifferent Constraints, , , , and . CoRR, (2010)Simple and precise static analysis of untrusted Linux kernel extensions., , , , , , , and . PLDI, page 1069-1084. ACM, (2019)Constrained Image Generation Using Binarized Neural Networks with Decision Procedures., , , , , and . SAT, volume 10929 of Lecture Notes in Computer Science, page 438-449. Springer, (2018)A SAT-Based Approach to Learn Explainable Decision Sets., , , and . IJCAR, volume 10900 of Lecture Notes in Computer Science, page 627-645. Springer, (2018)The SeqBin Constraint Revisited., , and . CP, volume 7514 of Lecture Notes in Computer Science, page 332-347. Springer, (2012)Flow-Based Propagators for the SEQUENCE and Related Global Constraints., , , and . CP, volume 5202 of Lecture Notes in Computer Science, page 159-174. Springer, (2008)RelGAN: Relational Generative Adversarial Networks for Text Generation., , and . ICLR (Poster), OpenReview.net, (2019)Circuit Complexity and Decompositions of Global Constraints., , , and . IJCAI, page 412-418. (2009)Combining Symmetry Breaking and Global Constraints., , and . CSCLP, volume 5655 of Lecture Notes in Computer Science, page 84-98. Springer, (2008)