Yakov Novikov

	2007
6		Eugene Goldberg, Yakov Novikov: BerkMin: A fast and robust Sat-solver. Discrete Applied Mathematics 155(12): 1549-1561 (2007)
	2003
5		Yakov Novikov: Local Search for Boolean Relations on the Basis of Unit Propagation. DATE 2003: 10810-10815
4		Evguenii I. Goldberg, Yakov Novikov: Verification of Proofs of Unsatisfiability for CNF Formulas. DATE 2003: 10886-10891
3		Eugene Goldberg, Yakov Novikov: How Good Can a Resolution Based SAT-solver Be? SAT 2003: 37-52
	2002
2		Evguenii I. Goldberg, Yakov Novikov: BerkMin: A Fast and Robust Sat-Solver. DATE 2002: 142-149
	2001
1		Yakov Novikov, Evguenii I. Goldberg: An efficient learning procedure for multiple implication checks. DATE 2001: 127-135

Coauthor Index

1

Eugene Goldberg (Evguenii I. Goldberg)

[1] [2] [3] [4] [6]