| Publication | Date of Publication | Type |
|---|
Multigrid for an HDG method
IMA Journal of Numerical Analysis | 2014-11-18 | Paper |
| Expected number of locally maximal solutions for random Boolean CSPs | 2010-08-02 | Paper |
Theory and Applications of Satisfiability Testing
Lecture Notes in Computer Science | 2009-07-24 | Paper |
An efficient approach to solving random \(k\)-SAT problems
Journal of Automated Reasoning | 2007-05-03 | Paper |
Regular random \(k\)-SAT: Properties of balanced formulas
Journal of Automated Reasoning | 2007-01-24 | Paper |
| scientific article; zbMATH DE number 2209871 (Why is no real title available?) | 2005-09-28 | Paper |
Additive Decompositions, Random Allocations, and Threshold Phenomena
Combinatorics, Probability and Computing | 2005-04-18 | Paper |
| scientific article; zbMATH DE number 2084700 (Why is no real title available?) | 2004-08-09 | Paper |
Reconstructing (h,v)-convex 2-dimensional patterns of objects from approximate horizontal and vertical projections.
Theoretical Computer Science | 2003-08-17 | Paper |
The 3-XORSAT threshold.
Comptes Rendus. Mathématique. Académie des Sciences, Paris | 2003-05-27 | Paper |
Approximating the Satisfiability Threshold for Random k-XOR-formulas
Combinatorics, Probability and Computing | 2003-01-01 | Paper |
| On the non-3-colourability of random graphs | 2002-09-09 | Paper |
Upper bounds on the satisfiability threshold
Theoretical Computer Science | 2002-03-03 | Paper |
| scientific article; zbMATH DE number 1445295 (Why is no real title available?) | 2000-05-10 | Paper |
Length of prime implicants and number of solutions of random CNF formulae
Theoretical Computer Science | 1999-04-28 | Paper |
A General Upper Bound for the Satisfiability Threshold of Randomr-SAT Formulae
Journal of Algorithms | 1997-10-20 | Paper |
| scientific article; zbMATH DE number 956858 (Why is no real title available?) | 1997-06-09 | Paper |
| scientific article; zbMATH DE number 69339 (Why is no real title available?) | 1992-12-07 | Paper |
Counting the number of solutions for instances of satisfiability
Theoretical Computer Science | 1991-01-01 | Paper |
Probabilistic approach to the satisfiability problem
Theoretical Computer Science | 1991-01-01 | Paper |
| scientific article; zbMATH DE number 4189241 (Why is no real title available?) | 1990-01-01 | Paper |
On the r,s-SAT satisfiability problem and a conjecture of Tovey
Discrete Applied Mathematics | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 3954272 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 4003523 (Why is no real title available?) | 1986-01-01 | Paper |
