Suchergebnisse - Kojevnikov, Arist

1

UnitWalk: A new SAT solver that uses local search guided by unit clause elimination von Hirsch, Edward A., Kojevnikov, Arist

Veröffentlicht in Annals of mathematics and artificial intelligence

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

Improved Lower Bounds for Tree-Like Resolution over Linear Inequalities von Kojevnikov, Arist

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
3

Lower Bounds of Static Lovász-Schrijver Calculus Proofs for Tseitin Tautologies von Kojevnikov, Arist, Itsykson, Dmitry

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
4

Several notes on the power of Gomory–Chvátal cuts von Hirsch, Edward A., Kojevnikov, Arist

Veröffentlicht in Annals of pure and applied logic

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
5

Complexity of Semialgebraic Proofs with Restricted Degree of Falsity12 von Hirsch, Edward A., Kojevnikov, Arist, Kulikov, Alexander S., Nikolenko, Sergey I.

Veröffentlicht in Journal on satisfiability, Boolean modeling and computation

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
6

Complexity of Semialgebraic Proofs with Restricted Degree of Falsity von Kojevnikov, Arist, Kulikov, Alexander S.

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
7

Circuit Complexity and Multiplicative Complexity of Boolean Functions von Kojevnikov, Arist, Kulikov, Alexander S.

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
8

Finding Efficient Circuits Using SAT-Solvers von Kojevnikov, Arist, Kulikov, Alexander S., Yaroslavtsev, Grigory

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
9

Lower Bounds of Static Lovász-Schrijver Calculus Proofs for Tseitin Tautologies von KOJEVNIKOV, Arist, ITSYKSON, Dmitry

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
10

New Combinatorial Complete One-Way Functions von Kojevnikov, Arist, Nikolenko, Sergey I

Volltext bestellen

Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
11

Complexity of semialgebraic proofs with restricted degree of falsity von KOJEVNIKOV, Arist, KULIKOV, Alexander S

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
12

Solving Boolean Satisfiability Using Local Search Guided by Unit Clause Elimination von Hirsch, Edward A., Kojevnikov, Arist

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
13

Solving boolean satisfiability using local search guided by unit clause elimination von HIRSCH, Edward A, KOJEVNIKOV, Arist

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
14

New Combinatorial Complete One-Way Functions von Kojevnikov, Arist, Nikolenko, Sergey I

Veröffentlicht in arXiv.org

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
15

Improving 3N Circuit Complexity Lower Bounds von Find, Magnus Gausdal, Golovnev, Alexander, Hirsch, Edward A., Kulikov, Alexander S.

Veröffentlicht in Computational complexity

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
16

Resolution over linear equations and multilinear proofs von Raz, Ran, Tzameret, Iddo

Veröffentlicht in Annals of pure and applied logic

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
17

Tight Size-Degree Bounds for Sums-of-Squares Proofs von Lauria, Massimo, Nordström, Jakob

Veröffentlicht in Computational complexity

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
18

Toward Verifying Nonlinear Integer Arithmetic von Beame, Paul, Liew, Vincent

Veröffentlicht in Journal of the ACM

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
19

GASAT: A Genetic Local Search Algorithm for the Satisfiability Problem von Lardeux, Frédéric, Saubion, Frédéric, Hao, Jin-Kao

Veröffentlicht in Evolutionary computation

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
20

The SAT2002 competition von Simon, Laurent, Le Berre, Daniel, Hirsch, Edward A.

Veröffentlicht in Annals of mathematics and artificial intelligence

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:

UnitWalk: A new SAT solver that uses local search guided by unit clause elimination von Hirsch, Edward A., Kojevnikov, Arist

Improved Lower Bounds for Tree-Like Resolution over Linear Inequalities von Kojevnikov, Arist

Lower Bounds of Static Lovász-Schrijver Calculus Proofs for Tseitin Tautologies von Kojevnikov, Arist, Itsykson, Dmitry

Several notes on the power of Gomory–Chvátal cuts von Hirsch, Edward A., Kojevnikov, Arist

Complexity of Semialgebraic Proofs with Restricted Degree of Falsity12 von Hirsch, Edward A., Kojevnikov, Arist, Kulikov, Alexander S., Nikolenko, Sergey I.

Complexity of Semialgebraic Proofs with Restricted Degree of Falsity von Kojevnikov, Arist, Kulikov, Alexander S.

Circuit Complexity and Multiplicative Complexity of Boolean Functions von Kojevnikov, Arist, Kulikov, Alexander S.

Finding Efficient Circuits Using SAT-Solvers von Kojevnikov, Arist, Kulikov, Alexander S., Yaroslavtsev, Grigory

Lower Bounds of Static Lovász-Schrijver Calculus Proofs for Tseitin Tautologies von KOJEVNIKOV, Arist, ITSYKSON, Dmitry

New Combinatorial Complete One-Way Functions von Kojevnikov, Arist, Nikolenko, Sergey I

Complexity of semialgebraic proofs with restricted degree of falsity von KOJEVNIKOV, Arist, KULIKOV, Alexander S

Solving Boolean Satisfiability Using Local Search Guided by Unit Clause Elimination von Hirsch, Edward A., Kojevnikov, Arist

Solving boolean satisfiability using local search guided by unit clause elimination von HIRSCH, Edward A, KOJEVNIKOV, Arist

New Combinatorial Complete One-Way Functions von Kojevnikov, Arist, Nikolenko, Sergey I

Improving 3N Circuit Complexity Lower Bounds von Find, Magnus Gausdal, Golovnev, Alexander, Hirsch, Edward A., Kulikov, Alexander S.

Resolution over linear equations and multilinear proofs von Raz, Ran, Tzameret, Iddo

Tight Size-Degree Bounds for Sums-of-Squares Proofs von Lauria, Massimo, Nordström, Jakob

Toward Verifying Nonlinear Integer Arithmetic von Beame, Paul, Liew, Vincent

GASAT: A Genetic Local Search Algorithm for the Satisfiability Problem von Lardeux, Frédéric, Saubion, Frédéric, Hao, Jin-Kao

The SAT2002 competition von Simon, Laurent, Le Berre, Daniel, Hirsch, Edward A.

Suchwerkzeuge:

Treffer weiter einschränken

Eingrenzen

Format

Zeitschriftentitel

Schlagworte

Erscheinungsjahr

Quelle