Naoyuki Tamura

Available identifiers

zbMath Open tamura.naoyukiMaRDI QIDQ842790

List of research outcomes

Publication	Date of Publication	Type
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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Naoyuki Tamura