The following pages link to Takehide Soh (Q860387):
Displaying 11 items.
- A competitive and cooperative approach to propositional satisfiability (Q860390) (← links)
- \textit{teaspoon}: solving the curriculum-based course timetabling problems with answer set programming (Q1730740) (← links)
- Catnap: generating test suites of constrained combinatorial testing with answer set programming (Q2401942) (← links)
- Analyzing Pathways Using ASP-Based Approaches (Q2889709) (← links)
- Incremental SAT-Based Method with Native Boolean Cardinality Handling for the Hamiltonian Cycle Problem (Q2938540) (← links)
- Identifying Necessary Reactions in Metabolic Pathways by Minimal Model Generation (Q2999147) (← links)
- (Q3005898) (← links)
- aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming (Q3449196) (← links)
- Implementing Efficient All Solutions SAT Solvers (Q5266602) (← links)
- Answer set programming as a modeling language for course timetabling (Q5398311) (← links)
- Hamiltonian cycle reconfiguration with answer set programming (Q6545539) (← links)
