Implementing efficient all solutions SAT solvers T Toda, T Soh
Journal of Experimental Algorithmics (JEA) 21, 1-44, 2016
109 2016 高速 SAT ソルバーの原理 (< 特集> 最近の SAT 技術の発展) 鍋島英知、宋剛秀
人工知能学会誌 25 (1), 68-76, 2010
56 2010 A SAT-based method for solving the two-dimensional strip packing problem T Soh, K Inoue, N Tamura, M Banbara, H Nabeshima
Fundamenta Informaticae 102 (3-4), 467-487, 2010
42 2010 Lemma Reusing for SAT based Planning and Scheduling. H Nabeshima, T Soh, K Inoue, K Iwanuma
ICAPS, 103-113, 2006
39 2006 Answer set programming as a modeling language for course timetabling M Banbara, T Soh, N Tamura, K Inoue, T Schaub
Theory and Practice of Logic Programming 13 (4-5), 783-798, 2013
38 2013 A competitive and cooperative approach to propositional satisfiability K Inoue, T Soh, S Ueda, Y Sasaura, M Banbara, N Tamura
Discrete Applied Mathematics 154 (16), 2291-2306, 2006
38 2006 : solving the curriculum-based course timetabling problems with answer set programmingM Banbara, K Inoue, B Kaufmann, T Okimoto, T Schaub, T Soh, N Tamura, ...
Annals of Operations Research 275, 3-37, 2019
35 2019 Compiling pseudo-boolean constraints to SAT with order encoding N Tamura, M Banbara, T Soh
2013 IEEE 25th International Conference on Tools with Artificial …, 2013
33 2013 Incremental SAT-based method with native Boolean cardinality handling for the Hamiltonian cycle problem T Soh, D Le Berre, S Roussel, M Banbara, N Tamura
European Conference on Logics in Artificial Intelligence, 684-693, 2014
32 2014 Identifying Necessary Reactions in Metabolic Pathways by Minimal Model Generation. T Soh, K Inoue
ECAI 215, 277-282, 2010
28 2010 Analyzing pathways using ASP-based approaches O Ray, T Soh, K Inoue
Algebraic and Numeric Biology: 4th International Conference, ANB 2010 …, 2012
24 2012 Scarab: A rapid prototyping tool for SAT-based constraint programming systems T Soh, N Tamura, M Banbara
International Conference on Theory and Applications of Satisfiability …, 2013
22 2013 Solving multiobjective discrete optimization problems with propositional minimal model generation T Soh, M Banbara, N Tamura, D Le Berre
Principles and Practice of Constraint Programming: 23rd International …, 2017
21 2017 Proposal and evaluation of hybrid encoding of CSP to SAT integrating order and log encodings T Soh, M Banbara, N Tamura
International Journal on Artificial Intelligence Tools 26 (01), 1760005, 2017
14 2017 aspartame : Solving Constraint Satisfaction Problems with Answer Set ProgrammingM Banbara, M Gebser, K Inoue, M Ostrowski, A Peano, T Schaub, T Soh, ...
Logic Programming and Nonmonotonic Reasoning: 13th International Conference …, 2015
14 2015 Experimental results for solving jobshop scheduling problems with multiple SAT solvers T Soh
Proc. 1st Int. Workshop on Distributed and Speculative Constraint Processing …, 2005
13 2005 Core challenge 2022: solver and graph descriptions T Soh, Y Okamoto, T Ito
arXiv preprint arXiv:2208.02495, 2022
10 2022 A hybrid encoding of CSP to SAT integrating order and log encodings T Soh, M Banbara, N Tamura
2015 IEEE 27th International Conference on Tools with Artificial …, 2015
8 2015 ZDD-based algorithmic framework for solving shortest reconfiguration problems T Ito, J Kawahara, Y Nakahata, T Soh, A Suzuki, J Teruyama, T Toda
International Conference on Integration of Constraint Programming …, 2023
7 2023 catnap : Generating Test Suites of Constrained Combinatorial Testing with Answer Set ProgrammingM Banbara, K Inoue, H Kaneyuki, T Okimoto, T Schaub, T Soh, N Tamura
Logic Programming and Nonmonotonic Reasoning: 14th International Conference …, 2017
5 2017