Roman Gershman

	2009
5		Roman Gershman, Ofer Strichman: HaifaSat: a SAT solver based on an Abstraction/Refinement model. JSAT 6(1-3): 33-51 (2009)
	2008
4		Roman Gershman, Maya Koifman, Ofer Strichman: An approach for extracting a small unsatisfiable core. Formal Methods in System Design 33(1-3): 1-27 (2008)
	2006
3		Roman Gershman, Maya Koifman, Ofer Strichman: Deriving Small Unsatisfiable Cores with Dominators. CAV 2006: 109-122
	2005
2		Roman Gershman, Ofer Strichman: HaifaSat: A New Robust SAT Solver. Haifa Verification Conference 2005: 76-89
1		Roman Gershman, Ofer Strichman: Cost-Effective Hyper-Resolution for Preprocessing CNF Formulas. SAT 2005: 423-429

Coauthor Index

1	Maya Koifman	[3] [4]
2	Ofer Strichman	[1] [2] [3] [4] [5]

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page