Takehide Soh

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
Hamiltonian cycle 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
ZDD-based algorithmic framework for solving shortest reconfiguration problems Integration of Constraint Programming, Artificial Intelligence, and Operations Research	2023-10-04	Paper
\textit{teaspoon}: solving the curriculum-based course timetabling problems with answer set programming Annals of Operations Research	2019-03-06	Paper
Catnap: generating test suites of constrained combinatorial testing with answer set programming	2017-09-05	Paper
Implementing efficient All solutions SAT solvers ACM Journal of Experimental Algorithmics	2017-06-16	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
Analyzing pathways using ASP-based approaches Algebraic and Numeric Biology	2012-06-08	Paper
A SAT-based method for solving the two-dimensional strip packing problem	2011-06-10	Paper
Identifying necessary reactions in metabolic pathways by minimal model generation	2011-05-11	Paper
A competitive and cooperative approach to propositional satisfiability Discrete Applied Mathematics	2007-01-09	Paper

Research outcomes over time

This page was built for person: Takehide Soh