Takehide Soh

Available identifiers

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	2024-02-28	Paper
ZDD-based algorithmic framework for solving shortest reconfiguration problems	2023-10-04	Paper
\textit{teaspoon}: solving the curriculum-based course timetabling problems with answer set programming	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	2017-06-16	Paper
aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming	2015-11-04	Paper
Incremental SAT-Based Method with Native Boolean Cardinality Handling for the Hamiltonian Cycle Problem	2015-01-14	Paper
Answer set programming as a modeling language for course timetabling	2014-02-27	Paper
Analyzing Pathways Using ASP-Based Approaches	2012-06-08	Paper
https://portal.mardi4nfdi.de/entity/Q3005898	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	2007-01-09	Paper

This page was built for person: Takehide Soh