Roman Gershman’s personal page
This is my first attempt in web developing. Hope it will improve.
Research Interests
My main research interests are
Artificial Intelligence Algorithms and Formal Verification methods for
Hardware and Software Verification.
Right now I am working in the field of Formal Verification; in particular, I wrote a new SAT solver HaifaSat which participates in SAT Competition 2005.
I am doing my Master Degree under the
supervision of Dr. Ofer
Strichman.
Contact Information
E-mail address
Department
Computer Science Department, Technion Haifa.
Current Projects
HaifaSat can be downloaded for non-commercial use only.
My Papers
-
Cost-Effective Hyper-Resolution for Preprocessing CNF Formulas (PDF-short version)
Proceedings of the Eighth International Conference on Theory and Applications of Satisfiability Testing (SAT 2005; St. Andrews, Scotland) Lecture Notes in Computer Science, vol. 3569, Springer-Verlag, Berlin, pp. 46-60. -
Cost-Effective Hyper-Resolution for Preprocessing CNF Formulas (PDF-full version)
-
A decision heuristic based on an Abstraction/Refinement model. (PDF)
IBM Verification Conference 2005, IBM's Verification Track 2005
Personal Interests
Sleeping til 11am. Well, it’s more like a hobby rather than personal interest.
Back to top
Last Updated: 14/05/2005
