Title
Early Conflict Detection Based SAT Solving.
Year
Venue
Field
2004
MBMV
Computer science,Artificial intelligence
DocType
Citations 
PageRank 
Conference
1
0.36
References 
Authors
0
3
Name
Order
Citations
PageRank
Matthew D. T. Lewis1915.19
Tobias Schubert259837.74
Bernd Becker334531.68