Set-theoretic duality: A fundamental feature of combinatorial optimisation
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
|Collections||ANU Research Publications|
|01_Slaney_Set-theoretic_duality:_A_2014.pdf||181.8 kB||Adobe PDF|
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.