A Study on Boolean Constraint Solvers

Satoshi Menju, Akira Aiba

Research output: Contribution to journalArticle

Original languageEnglish
JournalConstraint Logic Programming: Selected Works
Publication statusPublished - 1993 Jan 1

Cite this