Roman Gershman’s personal page
This is my first attempt in web developing. Hope it will improve.
My main research interests are
Artificial Intelligence Algorithms and Formal Verification methods for
Hardware and Software Verification.
I am doing my Master Degree under the
supervision of Dr. Ofer
Computer Science Department, Technion Haifa.
HaifaSat can be downloaded for non-commercial use only.
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
Sleeping til 11am. Well, it’s more like a hobby rather than personal interest.
Back to top
Last Updated: 14/05/2005