Author of the publication

Solving Multiobjective Discrete Optimization Problems with Propositional Minimal Model Generation.

, , , and . CP, volume 10416 of Lecture Notes in Computer Science, page 596-614. Springer, (2017)

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

Implementing Efficient All Solutions SAT Solvers., and . CoRR, (2015)Implementing Efficient All Solutions SAT Solvers., and . ACM J. Exp. Algorithmics, 21 (1): 1.12:1-1.12:44 (2016)ZDD-Based Algorithmic Framework for Solving Shortest Reconfiguration Problems., , , , , , and . CoRR, (2022)Compiling Pseudo-Boolean Constraints to SAT with Order Encoding., , and . ICTAI, page 1020-1027. IEEE Computer Society, (2013)Lemma Reusing for SAT based Planning and Scheduling., , , and . ICAPS, page 103-113. AAAI, (2006)Proposal and Evaluation of Hybrid Encoding of CSP to SAT Integrating Order and Log Encodings., , and . Int. J. Artif. Intell. Tools, 26 (1): 1760005:1-1760005:29 (2017)SAT-Based Method for Finding Attractors in Asynchronous Multi-Valued Networks., , , , and . BIOINFORMATICS, page 163-174. SCITEPRESS, (2023)Hamiltonian Cycle Reconfiguration with Answer Set Programming., , , , , , , and . JELIA, volume 14281 of Lecture Notes in Computer Science, page 262-277. Springer, (2023)SAF: SAT-Based Attractor Finder in Asynchronous Automata Networks., , , , and . CMSB, volume 14137 of Lecture Notes in Computer Science, page 175-183. Springer, (2023)A SAT-based Method for Solving the Two-dimensional Strip Packing Problem., , , , and . Fundam. Informaticae, 102 (3-4): 467-487 (2010)