%0 Journal Article %1 journals/logcom/MatusiewiczMOR17 %A Matusiewicz, Andrew %A Murray, Neil V. %A Olsen, Paul W. %A Rosenthal, Erik %D 2017 %J J. Log. Comput. %K dblp %N 4 %P 961-983 %T Computing prime implicates by pruning the search space and accelerating subsumption. %U http://dblp.uni-trier.de/db/journals/logcom/logcom27.html#MatusiewiczMOR17 %V 27

@article{journals/logcom/MatusiewiczMOR17, added-at = {2017-09-14T00:00:00.000+0200}, author = {Matusiewicz, Andrew and Murray, Neil V. and Olsen, Paul W. and Rosenthal, Erik}, biburl = {https://www.bibsonomy.org/bibtex/2f5acf3868749cd7fe927052cc4638dc4/dblp}, ee = {https://doi.org/10.1093/logcom/exv071}, interhash = {61ca62fbb93538a212a740791b75dedc}, intrahash = {f5acf3868749cd7fe927052cc4638dc4}, journal = {J. Log. Comput.}, keywords = {dblp}, number = 4, pages = {961-983}, timestamp = {2017-12-07T16:10:19.000+0100}, title = {Computing prime implicates by pruning the search space and accelerating subsumption.}, url = {http://dblp.uni-trier.de/db/journals/logcom/logcom27.html#MatusiewiczMOR17}, volume = 27, year = 2017 }