|
Eine Ebene nach oben |
Gruppiert nach:
Dokumententyp
| Veröffentlichungsdatum
Springe zu: Zeitschriftenartikel
Anzahl der Publikationen: 1
Zeitschriftenartikel
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