A New Method for Solving Hard Satisfiability Problems (1992)

by Bart Selman , Hector Levesque , David Mitchell
Venue:AAAI
Citations:682 - 21 self

Document Versions

A New Method for Solving Hard Satisfiability Problems –Bart Selman, Hector Levesque, David Mitchell — 1992 — AAAI
A New Method for Solving Hard Satisfiability Problems –Bart Selman, Hector Levesque, David Mitchell — 1992
A New Method for Solving Hard Satisfiability Problems –Bart Selman, Hector Levesque, David Mitchell — 1992 — NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE