The CRIL-Kobe-Louvain Collaborative Workshop on Constraint Programming and SAT


Title The CRIL-Kobe-Louvain Collaborative Workshop on Constraint Programming and SAT
Date December 5 2017
Venue Meeting Room of Kobe University Brussels European Centre (KUBEC)
Address Boulevard de la Plaine 5 Pleinlaan, Bruxelles 1050 Brussel
  • To access the venue and meeting room, please check this PDF!
  • When the door of KUBEC (5th floor) is closed, plase call via its interphone.


10:30-11:10 (Talk)
  Modeling Combinatorial Constrained Problems with MCSP3 and Smart Tables
  Christophe Lecoutre
11:20-12:00 (Talk)
  Lattice Theoretic Study of Pseudo-Boolean Constraints for their SAT encoding
  Naoyuki Tamura*, Yushi Minami, Takehide Soh, Mutsunori Banbara
13:30-14:10 (Talk)
  Sequence Mining with Constraint Programming
  John O. R. Aoga, Pierre Schaus
14:20-15:00 (Talk)
  A Recursive Shortcut for CEGAR: Application To The Modal Logic K Satisfiability Problem
  Jean-Marie Lagniez, Daniel Le Berre*, Tiago de Lima, Valentin Montmirail
15:10-15:30 (Short Talk)
  Cosoco, a Compact Solver of Constraints...
  Gilles Audemard
15:40-16:00 (Short Talk)
  Towards Developing a SAT-based XCSP3 Solver
  Takehide Soh
16:10-17:00 (Discussion)

Participants (alphabetical)

The symbol * denotes participants taking lunch at Le Quartier Latin (see below).

How to participate?

  • Everyone is welcome to participate! Please just e-mail to Takehide Soh (see Contact).


  • Venue: Le Quartier Latin
  • Address: 212 Boulevard Géneral Jacques, Ixelles, Brussels, 1050, Belgium
  • Phone: 02 230 0210
  • URL:


Takehide Soh

Author: Takehide Soh

Created: 2017-12-05 火 08:25