Naoyuki Tamura

Available identifiers

zbMath Open tamura.naoyukiMaRDI QIDQ842790

List of research outcomes

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
\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
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
Generating Event-Sequence Test Cases by Answer Set Programming with the Incidence Matrix	2014-02-25	Paper
https://portal.mardi4nfdi.de/entity/Q3005898	2011-06-10	Paper
Generating Combinatorial Test Cases by Efficient SAT Encodings Suitable for CDCL SAT Solvers	2010-10-12	Paper
Compiling finite linear CSP into SAT	2009-09-25	Paper
Compiling Finite Linear CSP into SAT	2008-09-09	Paper
A competitive and cooperative approach to propositional satisfiability	2007-01-09	Paper
https://portal.mardi4nfdi.de/entity/Q4736522	2004-08-09	Paper
https://portal.mardi4nfdi.de/entity/Q4539650	2002-07-10	Paper
https://portal.mardi4nfdi.de/entity/Q4499267	2001-03-06	Paper
https://portal.mardi4nfdi.de/entity/Q4499269	2001-03-06	Paper
https://portal.mardi4nfdi.de/entity/Q4944872	2000-03-22	Paper
VSOP fuzzy numbers and their fuzzy ordering	1999-06-10	Paper
https://portal.mardi4nfdi.de/entity/Q3796714	1988-01-01	Paper

Research outcomes over time

This page was built for person: Naoyuki Tamura