On the Complexity of Propositional Calculus Formulae.

Published in Volume X, 2001, pages 27-44

Authors: Stefan ANDREI, Gheorghe GRIGORAS, Manfred KUDLEK, Cristian MASALAGIU

Bibtex

@article{sacscuza:andrei2001otcopcf,
  title={On the Complexity of Propositional Calculus Formulae.},
  author={Stefan ANDREI and Gheorghe GRIGORAS and Manfred KUDLEK and Cristian MASALAGIU},
  journal={Scientific Annals of Computer Science},
  volume={10},
  organization={``A.I. Cuza'' University, Iasi, Romania},
  year={2001},
  pages={27--44},
  publisher={``A.I. Cuza'' University Press}
}