Extended Resolution in Modern SAT Solving
Aus International Center for Computational Logic
Extended Resolution in Modern SAT Solving
Norbert MantheyNorbert Manthey

Extended Resolution in Modern SAT Solving
Wien, Österreich - Joint Automated Reasoning Workshop and Deduktionstreffen, July 2014
- Forschungsgruppe:Research Group: Wissensverarbeitung
@misc{M2014,
author = {Norbert Manthey},
title = {Extended Resolution in Modern {SAT} Solving},
year = {2014},
month = {July}
}