Implementing efficient all solutions SAT solvers T Toda, T Soh Journal of Experimental Algorithmics (JEA) 21, 1-44, 2016 | 114 | 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 |
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 | 40 | 2013 |
Lemma Reusing for SAT based Planning and Scheduling. H Nabeshima, T Soh, K Inoue, K Iwanuma ICAPS, 103-113, 2006 | 39 | 2006 |
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 programming M Banbara, K Inoue, B Kaufmann, T Okimoto, T Schaub, T Soh, N Tamura, ... Annals of Operations Research 275, 3-37, 2019 | 36 | 2019 |
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 | 34 | 2014 |
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 | 34 | 2013 |
Identifying necessary reactions in metabolic pathways by minimal model generation T Soh, K Inoue ECAI 2010, 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 | 26 | 2012 |
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 | 24 | 2017 |
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 |
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 Programming M 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 |
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 | 10 | 2023 |
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 |
Hamiltonian cycle reconfiguration with answer set programming T Hirate, M Banbara, K Inoue, XN Lu, H Nabeshima, T Schaub, T Soh, ... European Conference on Logics in Artificial Intelligence, 262-277, 2023 | 6 | 2023 |