New CNF Features and Formula Classification
Aus International Center for Computational Logic
New CNF Features and Formula Classification
Enrique AlfonsoEnrique Alfonso, Norbert MantheyNorbert Manthey
![New CNF Features and Formula Classification New CNF Features and Formula Classification](/w/images/thumb/e/e2/Missing_document_icon.png/150px-Missing_document_icon.png)
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
New CNF Features and Formula Classification
In Daniel Le Berre, eds., POS-14, volume 27 of EPiC Series, 57-71, 2014. EasyChair
- 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}
}