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

MCS Extraction with Sublinear Oracle Queries., , , and . SAT, volume 9710 of Lecture Notes in Computer Science, page 342-360. Springer, (2016)Minipref: A Tool for Preferences in SAT (short paper)., and . RCRA/RiCeRcA@AI*IA, volume 2538 of CEUR Workshop Proceedings, CEUR-WS.org, (2019)Applying UCT to Boolean Satisfiability., , , and . SAT, volume 6695 of Lecture Notes in Computer Science, page 373-374. Springer, (2011)Literal-Based MCS Extraction., , and . IJCAI, page 1973-1979. AAAI Press, (2015)ASP and subset minimality: Enumeration, cautious reasoning and MUSes., , , , and . Artif. Intell., (July 2023)Partial MUS Enumeration., and . AAAI, page 818-825. AAAI Press, (2013)On Finding Minimum Satisfying Assignments., , and . CP, volume 9892 of Lecture Notes in Computer Science, page 287-297. Springer, (2016)SAT-Based Formula Simplification., , and . SAT, volume 9340 of Lecture Notes in Computer Science, page 287-298. Springer, (2015)A Portfolio Approach to Enumerating Minimal Correction Subsets for Satisfiability Problems., , , and . CPAIOR, volume 8451 of Lecture Notes in Computer Science, page 368-376. Springer, (2014)On Exploiting Hitting Sets for Model Reconciliation., , and . AAAI, page 6514-6521. AAAI Press, (2021)