Original language | English |
---|---|
Journal | Constraint Logic Programming: Selected Works |
Publication status | Published - 1993 Jan 1 |
A Study on Boolean Constraint Solvers
Satoshi Menju, Akira Aiba
Research output: Contribution to journal › Article › peer-review
Satoshi Menju, Akira Aiba
Research output: Contribution to journal › Article › peer-review
Original language | English |
---|---|
Journal | Constraint Logic Programming: Selected Works |
Publication status | Published - 1993 Jan 1 |