`Travelled to:`

1 × Cyprus

1 × Finland

1 × Hungary

1 × Italy

1 × Japan

1 × USA

`Collaborated with:`

N.Tamura T.Tanjo T.Soh K.Inoue K.Kang T.Hirai T.Schaub

`Talks about:`

program (4) sat (4) constraint (2) compact (2) answer (2) logic (2) encod (2) base (2) set (2) csp (2)

## Person: Mutsunori Banbara

### DBLP: Banbara:Mutsunori

### Contributed to:

### Wrote 7 papers:

- ICLP-J-2013-BanbaraSTIS #modelling #programming #set
- Answer set programming as a modeling language for course timetabling (MB, TS, NT, KI, TS), pp. 783–798.
- SAT-2013-SohTB #agile #constraints #named #programming #prototype #satisfiability
- Scarab: A Rapid Prototyping Tool for SAT-Based Constraint Programming Systems (TS, NT, MB), pp. 429–436.
- ICLP-2012-BanbaraTI #generative #matrix #programming #testing
- Generating Event-Sequence Test Cases by Answer Set Programming with the Incidence Matrix (MB, NT, KI), pp. 86–97.
- SAT-2012-TanjoTB #csp #encoding #named #order #satisfiability #using
- Azucar: A SAT-Based CSP Solver Using Compact Order Encoding — (TT, NT, MB), pp. 456–462.
- SAT-2011-TanjoTB #csp #encoding #finite #performance
- A Compact and Efficient SAT-Encoding of Finite Domain CSP (TT, NT, MB), pp. 375–376.
- FLOPS-2010-TamuraTB #constraints #problem #satisfiability
- Solving Constraint Satisfaction Problems with SAT Technology (NT, TT, MB), pp. 19–23.
- ICLP-2001-BanbaraKHT #linear #logic programming
- Logic Programming in a Fragment of Intuitionistic Temporal Linear Logic (MB, KSK, TH, NT), pp. 315–330.