Item:Q2895793
From MaRDI portal
Redirect page
Item:Q2895793
Item:Q2895793
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Constraint satisfaction problems in clausal form. II: Minimal unsatisfiability and conflict structure |
Redirect to: