 | 2009 |
|---|
| 12 |       | Arist Kojevnikov,
Alexander S. Kulikov,
Grigory Yaroslavtsev:
Finding Efficient Circuits Using SAT-Solvers.
SAT 2009: 32-44 |
| 2008 |
|---|
| 11 | | Arist Kojevnikov,
Sergey I. Nikolenko:
New Combinatorial Complete One-Way Functions.
STACS 2008: 457-466 |
| 10 | | Arist Kojevnikov,
Sergey I. Nikolenko:
New Combinatorial Complete One-Way Functions
CoRR abs/0802.2863: (2008) |
| 2007 |
|---|
| 9 | | Arist Kojevnikov:
Improved Lower Bounds for Tree-Like Resolution over Linear Inequalities.
SAT 2007: 70-79 |
| 8 | | Arist Kojevnikov:
Improved Lower Bounds for Resolution over Linear Inequalities.
Electronic Colloquium on Computational Complexity (ECCC) 14(010): (2007) |
| 2006 |
|---|
| 7 | | Arist Kojevnikov,
Dmitry Itsykson:
Lower Bounds of Static Lovász-Schrijver Calculus Proofs for Tseitin Tautologies.
ICALP (1) 2006: 323-334 |
| 6 | | Arist Kojevnikov,
Alexander S. Kulikov:
Complexity of Semialgebraic Proofs with Restricted Degree of Falsity.
SAT 2006: 11-21 |
| 5 | | Arist Kojevnikov,
Alexander S. Kulikov:
A new approach to proving upper bounds for MAX-2-SAT.
SODA 2006: 11-17 |
| 4 | | Edward A. Hirsch,
Arist Kojevnikov:
Several notes on the power of Gomory-Chvátal cuts.
Ann. Pure Appl. Logic 141(3): 429-436 (2006) |
| 2005 |
|---|
| 3 | | Edward A. Hirsch,
Arist Kojevnikov:
UnitWalk: A new SAT solver that uses local search guided by unit clause elimination.
Ann. Math. Artif. Intell. 43(1): 91-111 (2005) |
| 2003 |
|---|
| 2 | | Edward A. Hirsch,
Arist Kojevnikov:
Several notes on the power of Gomory-Chvatal cuts
Electronic Colloquium on Computational Complexity (ECCC) 10(012): (2003) |
| 2001 |
|---|
| 1 | | Edward A. Hirsch,
Arist Kojevnikov:
Solving Boolean Satisfiability Using Local Search Guided by Unit Clause Elimination.
CP 2001: 605-609 |
