|
Eine Ebene nach oben |
Gruppiert nach: Dokumententyp |
Veröffentlichungsdatum
Springe zu: 2014
Anzahl der Publikationen: 1
2014
Luisa Bonet, Maria; Buss, Sam und Johannsen, Jan
(2014):
Improved Separations of Regular Resolution from Clause Learning Proof Systems.
In: Journal of Artificial intelligence Research, Bd. 49: S. 669-703