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

Propagating Conjunctions of AllDifferent Constraints, , , , and . CoRR, (2010)Constraint satisfaction problems: Convexity makes AllDifferent constraints tractable., , , , and . Theor. Comput. Sci., (2013)Simple and precise static analysis of untrusted Linux kernel extensions., , , , , , , and . PLDI, page 1069-1084. ACM, (2019)A SAT-Based Approach to Learn Explainable Decision Sets., , , and . IJCAR, volume 10900 of Lecture Notes in Computer Science, page 627-645. Springer, (2018)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)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)The SeqBin Constraint Revisited., , and . CP, volume 7514 of Lecture Notes in Computer Science, page 332-347. Springer, (2012)RelGAN: Relational Generative Adversarial Networks for Text Generation., , and . ICLR (Poster), OpenReview.net, (2019)On the Violation of Circuits in Decomposable Negation Normal Form., and . Australasian Conference on Artificial Intelligence, volume 7691 of Lecture Notes in Computer Science, page 194-205. Springer, (2012)Combining Symmetry Breaking and Global Constraints., , and . CSCLP, volume 5655 of Lecture Notes in Computer Science, page 84-98. Springer, (2008)