Set-theoretic duality: A fundamental feature of combinatorial optimisation
Abstract
The duality between conflicts and diagnoses in the field of diagnosis, or between plans and landmarks in the field of planning, or between unsatisfiable cores and minimal co-satisfiable sets in SAT or CSP solving, has been known for many years. Recent wor
Description
Keywords
Citation
Collections
Source
ECAI 2014
Type
Book Title
Entity type
Access Statement
Open Access
License Rights
Restricted until
Downloads
File
Description