Complexity of propositional proof systems: tableaux, resolution, cutting-planes
11th European Summerschool on Logic, Language, and Information. 1999
Erscheinungsjahr: 1999
Publikationstyp: Diverses
Klassifikation
DFG Fachgebiet:
- ohne Zuordnung
DDC Sachgruppe:
Allgemeines, Wissenschaft
