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

ZRES: The Old Davis-Putman Procedure Meets ZBDD., and . CADE, volume 1831 of Lecture Notes in Computer Science, page 449-454. Springer, (2000)Using Community Structure to Detect Relevant Learnt Clauses., , , and . SAT, volume 9340 of Lecture Notes in Computer Science, page 238-254. Springer, (2015)Predicting Learnt Clauses Quality in Modern SAT Solvers., and . IJCAI, page 399-404. (2009)Minimum Satisfiability and Its Applications., , , and . IJCAI, page 605-610. IJCAI/AAAI, (2011)Resolution enhancement of ultrasonic signals by up-sampled sparse deconvolution., , , and . ICASSP, page 6511-6515. IEEE, (2013)SatEx: A Web-based Framework for SAT Experimentation., and . Electron. Notes Discret. Math., (2001)IPR and ``Open Creativity'': The Cases of Videogames and of the Music Industry, , , and . DIME -- The Creative Industries and Intellectual Property, London Conference, (2008)On the Glucose SAT Solver., and . Int. J. Artif. Intell. Tools, 27 (1): 1840001:1-1840001:25 (2018)Optimizing with minimum satisfiability., , , and . Artif. Intell., (2012)PIN skimmer: inferring PINs through the camera and microphone., and . SPSM@CCS, page 67-78. ACM, (2013)