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)

Author: Takehide Soh

Created: 2014-04-25 金 18:30

Emacs 23.3.1 (Org mode 8.2.1)

Validate