PBSugar: Compiling Pseudo-Boolean Constraints to SAT with Order Encoding.
Naoyuki Tamura, Mutsunori Banbara, and Takehide Soh.
Proceedings of the 25th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2013), pp. 1020-1027, IEEE Computer Society, 2013. DOI 10.1109/ICTAI.2013.153
Proceedings of The 15th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, No.16 (15 pages), CEUR Workshop Proceedings (CEUR-WS.org), Vol.451, 2008.
Experimental Results for Solving Job-shop Scheduling Problems with Multiple SAT Solvers
Takehide Soh, Katsumi Inoue, Mutsunori Banbara, and Naoyuki Tamura
In the Proceedings of the 1st International Workshop on Distributed and Speculative Constraint Processing (held in conjunction with CP 2005), pages 25-38, Sitges Spain, October 1st 2005.
A description of this workshop can be found in the front matter of
CP 2005 proceeding.
Implementation and Evaluation of an Efficient Subgraph Search Tool using SAT Solvers .
Masahiro Kawahara, Takehide Soh, Mutsunori Banbara, and Naoyuki Tamura.
The 32st Conference of Japan Society for Software Science and Technology (JSSST 2015), PPL3-1, Japan Society for Software Science and Technology, 2015.
The 32st Conference of Japan Society for Software Science and Technology (JSSST 2015), PPL6-1, Japan Society for Software Science and Technology, 2015.
A Hybrid Encoding of CSP to SAT Integrating Order and Log Encodings .
Takehide Soh, Mutsunori Banbara, and Naoyuki Tamura.
The 32st Conference of Japan Society for Software Science and Technology (JSSST 2015), PPL6-3, Japan Society for Software Science and Technology, 2015.
The 29th Annual Conference of the Japanese Society for Artificial Intelligence (JSAI 2015), 2H5-OS-03b-5, The Japanese Society for Artificial Intelligence, 2015. JSAI Annual Conference Award.
Prototyping Tool for SAT-based Constraint Programming Systems in Scala .
Takehide Soh, Mutsunori Banbara and Naoyuki Tamura. Prototyping Tool for SAT-based.
The 31st Conference of Japan Society for Software Science and Technology (JSSST 2014), SOFT1-1, Japan Society for Software Science and Technology, 2014.
The 31st Conference of Japan Society for Software Science and Technology (JSSST 2014), PPL2-3, Japan Society for Software Science and Technology, 2014.
Solving Post-Enrollment Course Timetabling using Cardinality Constraint and SAT Solvers .
Atsushi Sakoda, Takehide Soh, Mutsunori Banbara, and Naoyuki Tamura.
The 28th Annual Conference of the Japanese Society for Artificial Intelligence (JSAI 2014), 1D5-OS-11b-7, The Japanese Society for Artificial Intelligence, 2014.
SAT-based CP System Scarab and its Application to Hamiltonian Cycle Problem .
Takehide Soh, Daniel Le Berre, Stéphanie Roussel, Mutsunori Banbara, and Naoyuki Tamura.
The 28th Annual Conference of the Japanese Society for Artificial Intelligence (JSAI 2014), 1D5-OS-11b-6in, The Japanese Society for Artificial Intelligence, 2014.
The 30th Conference of Japan Society for Software Science and Technology (JSSST 2013), PPL1-1, Japan Society for Software Science and Technology, 2013.
Scarab: A Prototyping Tool for SAT-based Constraint Programming Systems in Scala .
Takehide Soh, Naoyuki Tamura, Mutsunori Banbara, Daniel Le Berre, and Stéphanie Roussel.
The 30th Conference of Japan Society for Software Science and Technology (JSSST 2013), PPL2-5, Japan Society for Software Science and Technology, 2013.
Constraint Models of the Square Packing Problem and their SAT Encodings .
Atsushi Sakoda, Takehide Soh, Mutsunori Banbara, and Naoyuki Tamura.
The 27th Annual Conference of the Japanese Society for Artificial Intelligence (JSAI 2013), 2E5-OS-09b-1, The Japanese Society for Artificial Intelligence, 2013.