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:
2013
2013201220122011
20102001Wrote 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.