BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Banbara:Mutsunori

Contributed to:

ICLP 20132013
SAT 20132013
ICLP 20122012
SAT 20122012
SAT 20112011
FLOPS 20102010
ICLP 20012001

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.