DMCA
A New Method for Solving Hard Satisfiability Problems (1992)
Cached
Download Links
- [ftp.research.att.com]
- [ftp.cs.unh.edu]
- [portal.research.bell-labs.com]
- DBLP
Other Repositories/Bibliography
by
Bart Selman
,
Hector Levesque
,
David Mitchell
Venue: | AAAI |
Citations: | 730 - 21 self |