Approximating the unsatisfiability threshold of random formulas
Random Structures & Algorithms
Setting 2 variables at a time yields a new lower bound for random 3-SAT (extended abstract)
STOC '00 Proceedings of the thirty-second annual ACM symposium on Theory of computing
Typical random 3-SAT formulae and the satisfiability threshold
SODA '00 Proceedings of the eleventh annual ACM-SIAM symposium on Discrete algorithms
2+p-SAT: relation of typical-case complexity to the nature of the phase transition
Random Structures & Algorithms - Special issue on statistical physics methods in discrete probability, combinatorics, and theoretical computer science
A sharp threshold in proof complexity
STOC '01 Proceedings of the thirty-third annual ACM symposium on Theory of computing
MFCS '02 Proceedings of the 27th International Symposium on Mathematical Foundations of Computer Science
The interface between P and NP: COL, XOR, NAE, 1-in-k, and Horn SAT
Eighteenth national conference on Artificial intelligence
Generalized satisfiability problems: minimal elements and phase transitions
Theoretical Computer Science
Combinatorics, Probability and Computing
Annals of Mathematics and Artificial Intelligence
On the complexity of unfrozen problems
Discrete Applied Mathematics - Special issue: Typical case complexity and phase transitions
A continuous–discontinuous second-order transition in the satisfiability of random Horn-SAT formulas
Random Structures & Algorithms
On the complexity of unfrozen problems
Discrete Applied Mathematics
A continuous-discontinuous second-order transition in the satisfiability of random Horn-SAT formulas
APPROX'05/RANDOM'05 Proceedings of the 8th international workshop on Approximation, Randomization and Combinatorial Optimization Problems, and Proceedings of the 9th international conference on Randamization and Computation: algorithms and techniques
Exact thresholds for DPLL on random XOR-SAT and NP-complete extensions of XOR-SAT
Theoretical Computer Science
Where are the hard manipulation problems?
Journal of Artificial Intelligence Research
Hi-index | 0.00 |