Clause-Learning Algorithms with Many Restarts and Bounded-Width Resolution von Atserias, A., Fichte, J. K., Thurley, M.

Volltext

On digraph coloring problems and treewidth duality von Atserias, A.

Volltext

On sufficient conditions for unsatisfiability of random formulas von Atserias, Albert

Volltext

Definability on a random 3-CNF formula von Atserias, A.

Volltext

Unsatisfiable random formulas are hard to certify von Atserias, A.

Volltext

Narrow proofs may be maximally long von Atserias, Albert, Lauria, Massimo, Nordström, Jakob

Volltext bestellen

A combinatorial characterization of resolution width von Atserias, A., Dalmau, V.

Volltext

Improved bounds on the Weak Pigeonhole Principle and infinitely many primes from weaker axioms von Atserias, Albert

Volltext

Distinguishing SAT from polynomial-size circuits, through black-box queries von Atserias, A.

Volltext

Constraint Propagation as a Proof System von Atserias, Albert, Kolaitis, Phokion G., Vardi, Moshe Y.

Volltext

On lower bounds for circuit complexity and algorithms for satisfiability von Casals Buñuel, Joaquim

Volltext bestellen

Definable inapproximability: New challenges for duplicator von Atserias, A, Dawar, A

Volltext bestellen

Conjunctive Query Evaluation by Search Tree Revisited von Atserias, Albert

Volltext

On the automatizability of resolution and related propositional proof systems von Atserias, Albert, Bonet, Marı́a Luisa

Volltext

Notions of Average-Case Complexity for Random 3-SAT von Atserias, Albert

Volltext

Monotone simulations of nonmonotone proofs von Atserias, A., Galesi, N., Pudlak, P.

Volltext bestellen

Short Proofs May Be Spacious: Understanding Space in Resolution von Nordström, Jakob

Volltext bestellen

On the power of symmetric linear programs von Atserias, A, Dawar, A, Ochremiak, J

Volltext bestellen

Lower Bounds for the Weak Pigeonhole Principle and Random Formulas beyond Resolution von Atserias, Albert, Bonet, Maria Luisa, Esteban, Juan Luis

Volltext

Improved Bounds on the Weak Pigeonhole Principle and Infinitely Many Primes from Weaker Axioms von Atserias, Albert

Volltext