Publications

Article(s) de conférence(s) internationale(s)

2017 Takehide Soh, Mutsunori Banbara, Naoyuki Tamura, Daniel Le Berre, Solving Multiobjective Discrete Optimization Problems with Propositional Minimal Model Generation in 23rd International Conference on Principles and Practice of Constraint Programming (CP 2017 ),pp. 596-614, 2017.

2014 Takehide 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 in JELIA,Springer, pp. 684-693, 2014.