| 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 |