Search the dblp DataBase
Yakov Novikov: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Evguenii I. Goldberg, Yakov Novikov
BerkMin: A Fast and Robust Sat-Solver. [Citation Graph (0, 0)][DBLP]
DATE, 2002, pp:142-149 [Conf] - Evguenii I. Goldberg, Yakov Novikov
Verification of Proofs of Unsatisfiability for CNF Formulas. [Citation Graph (0, 0)][DBLP]
DATE, 2003, pp:10886-10891 [Conf] - Yakov Novikov
Local Search for Boolean Relations on the Basis of Unit Propagation. [Citation Graph (0, 0)][DBLP]
DATE, 2003, pp:10810-10815 [Conf] - Yakov Novikov, Evguenii I. Goldberg
An efficient learning procedure for multiple implication checks. [Citation Graph (0, 0)][DBLP]
DATE, 2001, pp:127-135 [Conf] - Eugene Goldberg, Yakov Novikov
How Good Can a Resolution Based SAT-solver Be? [Citation Graph (0, 0)][DBLP]
SAT, 2003, pp:37-52 [Conf] - Eugene Goldberg, Yakov Novikov
BerkMin: A fast and robust Sat-solver. [Citation Graph (0, 0)][DBLP]
Discrete Applied Mathematics, 2007, v:155, n:12, pp:1549-1561 [Journal]
Search in 0.001secs, Finished in 0.002secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002