Author of the publication

A SAT-based Method for Solving the Two-dimensional Strip Packing Problem.

, , , , and . RCRA, volume 451 of CEUR Workshop Proceedings, CEUR-WS.org, (2008)

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

SAF: SAT-Based Attractor Finder in Asynchronous Automata Networks., , , , and . CMSB, volume 14137 of Lecture Notes in Computer Science, page 175-183. Springer, (2023)Hamiltonian Cycle Reconfiguration with Answer Set Programming., , , , , , , and . JELIA, volume 14281 of Lecture Notes in Computer Science, page 262-277. Springer, (2023)SAT-Based Method for Finding Attractors in Asynchronous Multi-Valued Networks., , , , and . BIOINFORMATICS, page 163-174. SCITEPRESS, (2023)Dominating Set Reconfiguration with Answer Set Programming., , , , and . CoRR, (2024)A SAT-based Method for Solving the Two-dimensional Strip Packing Problem., , , , and . Fundam. Informaticae, 102 (3-4): 467-487 (2010)Scalable Hard Instances for Independent Set Reconfiguration., , , , and . SEA, volume 301 of LIPIcs, page 26:1-26:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2024)Large Neighborhood Prioritized Search for Combinatorial Optimization with Answer Set Programming., , , , , , and . KR, (2024)Implementing Efficient All Solutions SAT Solvers., and . CoRR, (2015)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)