A portfolio approach to enumerating minimal correction subsets for satisfiability problems
- Yuri Malitsky
- , Barry O'Sullivan
- , Alessandro Previti
- , Joao Marques-Silva
- Complex and Adaptive Systems Laboratory
Research output: Chapter in Book/Report/Conference proceedings › Conference proceeding › peer-review