The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Takehide Soh" ( http://dblp.L3S.de/Authors/Takehide_Soh )

  Author page on DBLP  Author page in RDF  Community of Takehide Soh in ASPL-2

Publication years (Num. hits)
2006-2015 (15) 2016-2019 (5)
Publication types (Num. hits)
article(8) inproceedings(12)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 21 publication records. Showing 20 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Mutsunori Banbara, Katsumi Inoue, Benjamin Kaufmann, Tenda Okimoto, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Philipp Wanko teaspoon : solving the curriculum-based course timetabling problems with answer set programming. Search on Bibsonomy Annals OR The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Takehide Soh, Mutsunori Banbara, Naoyuki Tamura Proposal and Evaluation of Hybrid Encoding of CSP to SAT Integrating Order and Log Encodings. Search on Bibsonomy International Journal on Artificial Intelligence Tools The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Mutsunori Banbara, Katsumi Inoue, Hiromasa Kaneyuki, Tenda Okimoto, Torsten Schaub, Takehide Soh, Naoyuki Tamura catnap: Generating Test Suites of Constrained Combinatorial Testing with Answer Set Programming. Search on Bibsonomy LPNMR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Takehide Soh, Mutsunori Banbara, Naoyuki Tamura, Daniel Le Berre Solving Multiobjective Discrete Optimization Problems with Propositional Minimal Model Generation. Search on Bibsonomy CP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Takahisa Toda, Takehide Soh Implementing Efficient All Solutions SAT Solvers. Search on Bibsonomy ACM Journal of Experimental Algorithmics The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Takahisa Toda, Takehide Soh Implementing Efficient All Solutions SAT Solvers. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Mutsunori Banbara, Martin Gebser, Katsumi Inoue, Max Ostrowski, Andrea Peano, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Matthias Weise aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming. Search on Bibsonomy LPNMR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Takehide Soh, Mutsunori Banbara, Naoyuki Tamura A Hybrid Encoding of CSP to SAT Integrating Order and Log Encodings. Search on Bibsonomy ICTAI The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Takehide Soh, Daniel Le Berre, Stéphanie Roussel, Mutsunori Banbara, Naoyuki Tamura Incremental SAT-Based Method with Native Boolean Cardinality Handling for the Hamiltonian Cycle Problem. Search on Bibsonomy JELIA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Mutsunori Banbara, Martin Gebser, Katsumi Inoue, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Matthias Weise Aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Mutsunori Banbara, Takehide Soh, Naoyuki Tamura, Katsumi Inoue, Torsten Schaub Answer set programming as a modeling language for course timetabling. Search on Bibsonomy TPLP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Naoyuki Tamura, Mutsunori Banbara, Takehide Soh Compiling Pseudo-Boolean Constraints to SAT with Order Encoding. Search on Bibsonomy ICTAI The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Takehide Soh, Naoyuki Tamura, Mutsunori Banbara Scarab: A Rapid Prototyping Tool for SAT-Based Constraint Programming Systems. Search on Bibsonomy SAT The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Takehide Soh, Katsumi Inoue, Naoyuki Tamura, Mutsunori Banbara, Hidetomo Nabeshima A SAT-based Method for Solving the Two-dimensional Strip Packing Problem. Search on Bibsonomy Fundam. Inform. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Oliver Ray, Takehide Soh, Katsumi Inoue Analyzing Pathways Using ASP-Based Approaches. Search on Bibsonomy ANB The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Takehide Soh, Katsumi Inoue Finding Minimal Reaction Sets in Large Metabolic Pathways. Search on Bibsonomy WCB@ICLP The full citation details ... 2010 DBLP  BibTeX  RDF
1Takehide Soh, Katsumi Inoue Identifying Necessary Reactions in Metabolic Pathways by Minimal Model Generation. Search on Bibsonomy ECAI The full citation details ... 2010 DBLP  BibTeX  RDF
1Takehide Soh, Katsumi Inoue, Naoyuki Tamura, Mutsunori Banbara, Hidetomo Nabeshima A SAT-based Method for Solving the Two-dimensional Strip Packing Problem. Search on Bibsonomy RCRA The full citation details ... 2008 DBLP  BibTeX  RDF
1Katsumi Inoue, Takehide Soh, Seiji Ueda, Yoshito Sasaura, Mutsunori Banbara, Naoyuki Tamura A competitive and cooperative approach to propositional satisfiability. Search on Bibsonomy Discrete Applied Mathematics The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Hidetomo Nabeshima, Takehide Soh, Katsumi Inoue, Koji Iwanuma Lemma Reusing for SAT based Planning and Scheduling. Search on Bibsonomy ICAPS The full citation details ... 2006 DBLP  BibTeX  RDF
Displaying result #1 - #20 of 20 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license