The CRIL-Kobe-Louvain Collaborative Workshop on Constraint Programming and SAT
Overview
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) |
http://www.office.kobe-u.ac.jp/ipiep/kubec/index_en.html | |
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.
Programme
10:30-11:10 | (Talk) |
Modeling Combinatorial Constrained Problems with MCSP3 and Smart Tables | |
11:20-12:00 | (Talk) |
Lattice Theoretic Study of Pseudo-Boolean Constraints for their SAT encoding | |
13:30-14:10 | (Talk) |
Sequence Mining with Constraint Programming | |
14:20-15:00 | (Talk) |
A Recursive Shortcut for CEGAR: Application To The Modal Logic K Satisfiability Problem | |
15:10-15:30 | (Short Talk) |
Cosoco, a Compact Solver of Constraints... | |
15:40-16:00 | (Short Talk) |
Towards Developing a SAT-based XCSP3 Solver | |
16:10-17:00 | (Discussion) |
Participants (alphabetical)
The symbol * denotes participants taking lunch at Le Quartier Latin (see below).
- CRIL-CNRS/Université d’Artois
- Kobe University
- Université Catholique de Louvain
How to participate?
- Everyone is welcome to participate! Please just e-mail to Takehide Soh (see Contact).
Lunch
- Venue: Le Quartier Latin
- Address: 212 Boulevard Géneral Jacques, Ixelles, Brussels, 1050, Belgium
- Phone: 02 230 0210
- URL: http://www.quartierlatin-xl.be/
Contact
Takehide Soh
![]() |