Leveraging dominators for preprocessing QBF

Autor: H Mangassarian, null Bao Le, A Goultiaeva, A Veneris, F Bacchus
Rok vydání: 2010
Zdroj: 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010).
DOI: 10.1109/date.2010.5457088
Databáze: OpenAIRE