|
|
Bart Selman and Henry Kautz (1993): Domain-Independent Extensions to GSAT: Solving Large Structured Satisfiability Problems
| Title: |
Domain-Independent Extensions to GSAT: Solving Large Structured Satisfiability Problems |
| Author(s): |
Bart Selman and Henry Kautz |
| Year: |
1993 |
| Booktitle: |
Proceedings of the 13th International Joint Conference on Artificial Intelligence |
| Editor(s): |
Ruzena Bajcsy |
| Volume: |
1 |
| Pages: |
290-295 |
| Publisher: |
Morgan Kaufmann |
| Address: |
San Mateo, CA |
Concepts
|
|
