| Original language | English (Ireland) |
|---|---|
| Title of host publication | Cliques, Coloring and Satisfiability |
| Publication status | Published - 1996 |
Comparative studies of constraint satisfaction and Davis-Putnam algorithms for maximum satisfiability problems
- Richard J. Wallace
- , Eugene Freuder
Research output: Chapter in Book/Report/Conference proceedings › Chapter › peer-review