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
|