%0 Conference Paper %1 conf/sat/AlfonsoM14 %A Alfonso, Enrique Matos %A Manthey, Norbert %B POS@SAT %D 2014 %E Berre, Daniel Le %I EasyChair %K dblp %P 57-71 %T New CNF Features and Formula Classification. %U http://dblp.uni-trier.de/db/conf/sat/pos2014.html#AlfonsoM14 %V 27

@inproceedings{conf/sat/AlfonsoM14, added-at = {2021-08-15T00:00:00.000+0200}, author = {Alfonso, Enrique Matos and Manthey, Norbert}, biburl = {https://www.bibsonomy.org/bibtex/2c0071a98920d98d5cf4dc79ca867264a/dblp}, booktitle = {POS@SAT}, crossref = {conf/sat/2014pos}, editor = {Berre, Daniel Le}, ee = {https://doi.org/10.29007/b8t1}, interhash = {817fb9a5b67d9184a111d57ed0736dde}, intrahash = {c0071a98920d98d5cf4dc79ca867264a}, keywords = {dblp}, pages = {57-71}, publisher = {EasyChair}, series = {EPiC Series in Computing}, timestamp = {2024-04-09T19:21:39.000+0200}, title = {New CNF Features and Formula Classification.}, url = {http://dblp.uni-trier.de/db/conf/sat/pos2014.html#AlfonsoM14}, volume = 27, year = 2014 }