Author Info
Name
Papers
Collaborators
JESSE D. BINGHAM
3
4
Citations 
PageRank 
Referers 
10
1.22
26
Referees 
References 
86
56
Title
Citations
PageRank
Year
Verifying Relative Error Bounds Using Symbolic Simulation.20.382014
B-Cubing: New Possibilities for Efficient SAT-Solving50.412006
Efficient SAT solving: beyond supercubes30.432005