Mutsunori Banbara

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Fast enumeration of all cost-bounded solutions for combinatorial problems using ZDDs Discrete Applied Mathematics	2024-12-04	Paper
Combinatorial reconfiguration with answer set programming: algorithms, encodings, and empirical analysis	2024-07-19	Paper
Hamiltonian cycle reconfiguration with answer set programming	2024-05-29	Paper
Recongo: bounded combinatorial reconfiguration with answer set programming	2024-05-29	Paper
SAF: SAT-based attractor finder in asynchronous automata networks Computational Methods in Systems Biology	2024-02-28	Paper
\textit{teaspoon}: solving the curriculum-based course timetabling problems with answer set programming Annals of Operations Research	2019-03-06	Paper
\textit{clingcon}: the next generation Theory and Practice of Logic Programming	2017-11-09	Paper
Catnap: generating test suites of constrained combinatorial testing with answer set programming	2017-09-05	Paper
aspartame: solving constraint satisfaction problems with answer set programming Logic Programming and Nonmonotonic Reasoning	2015-11-04	Paper
Incremental SAT-based method with native Boolean cardinality handling for the Hamiltonian cycle problem Logics in Artificial Intelligence	2015-01-14	Paper
Answer set programming as a modeling language for course timetabling Theory and Practice of Logic Programming	2014-02-27	Paper
Generating event-sequence test cases by answer set programming with the incidence matrix	2014-02-25	Paper
A SAT-based method for solving the two-dimensional strip packing problem	2011-06-10	Paper
Generating combinatorial test cases by efficient SAT encodings suitable for CDCL SAT solvers Logic for Programming, Artificial Intelligence, and Reasoning	2010-10-12	Paper
Compiling finite linear CSP into SAT Constraints	2009-09-25	Paper
Compiling Finite Linear CSP into SAT Principles and Practice of Constraint Programming - CP 2006	2008-09-09	Paper
A competitive and cooperative approach to propositional satisfiability Discrete Applied Mathematics	2007-01-09	Paper
scientific article; zbMATH DE number 2085286 (Why is no real title available?)	2004-08-09	Paper
scientific article; zbMATH DE number 1497840 (Why is no real title available?)	2001-03-06	Paper

Research outcomes over time

This page was built for person: Mutsunori Banbara