New CNF Features and Formula Classification
From International Center for Computational Logic
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
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}
}