Publications

12 results for Bart Selman

Critical behavior in the computational cost of satisfiability testing
- - Bart Selman
  - Scott Kirkpatrick
- 1996
- Artificial Intelligence
Paper
Critical behavior in the satisfiability of random Boolean expressions
- - Scott Kirkpatrick
  - Bart Selman
- 1994
- Science
Paper