Paper Info
Title
QmiraXT - A Multithreaded QBF Solver.
Year
Venue
DocType
2009
MBMV
Conference
Citations 
PageRank 
References 
13
0.59
14
Authors
3
Name
Order
Citations
PageRank
Matthew D. T. Lewis1915.19
Tobias Schubert259837.74
Bernd Becker334531.68