Exponential Lower bounds for semantic resolution
Beame, P.; Buss, S. (Hrsg). Feasible Arithmetics and Length of Proofs. American Mathematical Society 1998 S. 63 - 172
Erscheinungsjahr: 1998
Publikationstyp: Diverses
Autoren
Jukna, S. (Autor)
Beame, P. (Herausgeber)
Buss, S. (Herausgeber)
Klassifikation
DDC Sachgruppe:
Allgemeines, Wissenschaft
