Folgen
Takehide Soh
Takehide Soh
Bestätigte E-Mail-Adresse bei lion.kobe-u.ac.jp - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Implementing efficient all solutions SAT solvers
T Toda, T Soh
Journal of Experimental Algorithmics (JEA) 21, 1-44, 2016
812016
高速 SAT ソルバーの原理 (< 特集> 最近の SAT 技術の発展)
鍋島英知、宋剛秀
人工知能学会誌 25 (1), 68-76, 2010
532010
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
382010
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
382006
Lemma Reusing for SAT based Planning and Scheduling.
H Nabeshima, T Soh, K Inoue, K Iwanuma
ICAPS, 103-113, 2006
372006
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
332013
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
302013
Identifying Necessary Reactions in Metabolic Pathways by Minimal Model Generation.
T Soh, K Inoue
ECAI 215, 277-282, 2010
262010
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
242014
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
212013
Analyzing pathways using ASP-based approaches
O Ray, T Soh, K Inoue
Algebraic and Numeric Biology, 167-183, 2012
212012
$${\varvec {teaspoon}} $$ teaspoon: 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 (1), 3-37, 2019
202019
aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming
M Banbara, M Gebser, K Inoue, M Ostrowski, A Peano, T Schaub, T Soh, ...
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2015
132015
Solving multiobjective discrete optimization problems with propositional minimal model generation
T Soh, M Banbara, N Tamura, D Le Berre
International Conference on Principles and Practice of Constraint …, 2017
122017
Experimental results for solving jobshop scheduling problems with multiple SAT solvers
T Soh
Proc. 1st Int. Workshop on Distributed and Speculative Constraint Processing …, 2005
122005
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
112017
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
62015
catnap: Generating Test Suites of Constrained Combinatorial Testing with Answer Set Programming
M Banbara, K Inoue, H Kaneyuki, T Okimoto, T Schaub, T Soh, N Tamura
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2017
42017
Evaluation of the prediction of gene knockout effects by minimal pathway enumeration
T Sohy, K Inoue, T Baba, T Takada, T Shiroishi
International Journal on Advances in Life Sciences Volume 4, Number 3 & 4, 2012, 2012
42012
Predicting gene knockout effects by minimal pathway enumeration
T Soh, K Inoue, T Baba, T Takada, T Shiroishi
The 4th International Conference on Bioinformatics, Biocomputational Systems …, 2012
42012
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20