The 7th CSPSAT Seminar
Overview
Title | The 7th CSPSAT Seminar |
Invited Speaker | Laurent Simon (University of Bordeaux) |
Date | April 22-23. 2014. |
Venue | Room #421 on the 4th floor of Science and Technology Research Building 3, |
Rokkodai Campus, Kobe University [Campus Map: Building #23] | |
Address | 1-1 Rokkodai, Nada, Kobe 657-8501, Japan |
Organization | CSPSAT2 Project |
Programme
April 22. (Tue.) | |
---|---|
13:30-14:30 | Invited Talk by Laurent Simon |
Understanding the power of Glue Clauses in Modern SAT Solvers [PDF] | |
14:30-15:00 | Compiling Finite Linear CSP into PB [PDF] |
Tamura Naoyuki, Mutsunori Bnabara, and Takehide Soh | |
15:15-15:45 | On-The-Fly Lazy Clause Simplification Based on Binary Resolvents [PDF] |
Hidetomo Nabeshima, Koji Iwanuma, and Katsumi Inoue | |
15:45-16:15 | QwMaxSAT: A weighted partial MaxSAT solver [PDF] |
Miyuki Koshimura and Toshitaka Arimura | |
16:15-16:45 | Extending CryptoMiniSat with Cardinality Constraints to Recover AES Key Schedules [PDF] |
YangYang Liu, Changlin Chai, Xiaojuan Liao, and Miyuki Koshimura | |
19:30-21:00 | Dinner |
April 23. (Wed.) | |
---|---|
9:30-10:00 | Incremental SAT-based Method with Native Boolean Cardinality Handling for the Hamiltonian Cycle Problem [PDF] |
Takehide Soh, Daniel Le Berre, Stephanie Roussel, Mutsunori Banbara, and Naoyuki Tamura | |
10:00-10:30 | A SAT-based Approach to Bilingual Dictionary Creation [PDF] |
Mairidan Wushouer, Donghui Lin, Toru Ishida, and Katsutoshi Hirayama | |
10:45-11:15 | Learning Prime Implicant Conditions from State Transitions [PDF] |
Tony Ribeiro*, Katsumi Inoue, and Chiaki Sakama | |
11:15-11:45 | Belief Revision Games [PDF] |
Nicolas Schwind*, Katsumi Inoue, Gauvain Bourgne, Sebastien Konieczny, and Pierre Marquis. |
Participants
- University of Bordeaux
- Laurent Simon
- Hokkaido University
- Shin-ichi Minato
- National Institute of Informatics
- Katsumi Inoue, Nicolas Schwind, Tony Ribeiro
- Yamanashi University
- Hidetomo Nabeshima
- Kyoto University
- Mairidan Wushouer
- Osaka University
- Toshimitsu Ushio
- Kobe University
- Naoyuki Tamura, Katsutoshi Hirayama, Tenda Okimoto, Kenta Hanada, Takehide Soh
- Kyushu University
- Miyuki Koshimura, YangYang Liu
Dinner
- Date: April 22 (Tue.) 19:30-21:30
- Place:UOKU (魚喰)
- 4-18, 3-chome, Nagate-cho, Nada-ku, Kobe, Hyogo 657-0027
- TEL: (078) 842-5030
- Fee
- 7000 Yen (Faculty)
- 4000 Yen (Student)