Loading…
Compactly Generating All Satisfying Truth Assignments of a Horn Formula
Saved in:
| Published in: | Journal on satisfiability, Boolean modeling and computation Boolean modeling and computation, 2012-01, Vol.8 (1-2), p.63-82 |
|---|---|
| Main Author: | |
| Format: | Article |
| Language: | English |
| Citations: | Items that cite this one |
| Online Access: | Get full text |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Summary: | |
|---|---|
| ISSN: | 1574-0617 1574-0617 |
| DOI: | 10.3233/SAT190088 |