Journal article 1605 views
Lean clause-sets: generalizations of minimally unsatisfiable clause-sets
Oliver Kullmann 
Discrete Applied Mathematics, Volume: 130, Issue: 2, Start page: 209
Swansea University Author:
Oliver Kullmann
Full text not available from this repository: check for access using links below.
DOI (Published version): 10.1016/S0166-218X(02)00406-7
Abstract
Lean clause-sets: generalizations of minimally unsatisfiable clause-sets
| Published in: | Discrete Applied Mathematics |
|---|---|
| ISSN: | 0166-218X |
| Published: |
2003
|
| Online Access: |
Check full text
|
| URI: | https://cronfa.swan.ac.uk/Record/cronfa1714 |
| College: |
Faculty of Science and Engineering |
|---|---|
| Issue: |
2 |
| Start Page: |
209 |