Skip to Main Content Area
CPS-VO
Contact Support
My Groups
Join a Group
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
2013 High Confidence Software and Systems Conference
CPS-VO
»
2013 High Confidence Software and Systems Conference
» JOHN FRANCO
John Franco
file
A Solver for Non-linear Boolean Functions
Submitted by
adyson
on Wed, 02/15/2012 - 4:40pm. Contributor:
John Franco
206.62 KB
0 views
65 downloads
Download
University of Cincinnati
Conference paper
Academia
John Franco
HCSS '01
file
A BDD/SAT Solver for Formal Verification Applications
Submitted by
adyson
on Wed, 02/15/2012 - 4:37pm. Contributors:
John Franco
Robert Price
John Schlipf
Jeff Ward
Sean Weaver
199.48 KB
0 views
95 downloads
Download
University of Cincinnati
Presentation
Academia
John Franco
HCSS '01
A Solver for Non-linear Boolean Functions