New CNF Features and Formula Classification

Enrique AlfonsoEnrique Alfonso, Norbert MantheyNorbert Manthey

Enrique Alfonso, Norbert Manthey
New CNF Features and Formula Classification
In Daniel Le Berre, eds., POS-14, volume 27 of EPiC Series, 57-71, 2014. EasyChair

Details
Bibtex

Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

@inproceedings{AM2014,
  author    = {Enrique Alfonso and Norbert Manthey},
  title     = {New {CNF} Features and Formula Classification},
  editor    = {Daniel Le Berre},
  booktitle = {POS-14},
  series    = {EPiC Series},
  volume    = {27},
  publisher = {EasyChair},
  year      = {2014},
  pages     = {57-71}
}