![]() |
@article{DBLP:journals/ai/SchragC96,
author = {Robert Schrag and
James M. Crawford},
title = {Implicates and Prime Implicates in Random 3-SAT},
journal = {Artif. Intell.},
volume = {81},
number = {1-2},
year = {1996},
pages = {199-222},
ee = {http://dx.doi.org/10.1016/0004-3702(95)00053-4},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Copyright © 2003-11-19 by Michael Ley (ley@uni-trier.de)