Title
LoCEG: Local Preprocessing in SAT-Solving through Counter-Example Generation.
Year
Venue
Field
2014
MBMV
Computer science,Algorithm,Preprocessor,Counterexample
DocType
Citations 
PageRank 
Conference
0
0.34
References 
Authors
0
8
Name
Order
Citations
PageRank
Sebastian Burg122.77
Patrick Heckeler244.17
Stefan Huster322.43
Hanno Eichelberger482.89
Jörg Behrend5123.67
Jürgen Ruf612223.04
Thomas Kropf732659.09
Oliver Bringmann858671.36