Searching for "Random Satisfiability." – sorted by Relevance.
155 documents found, showing 1 through 10.
Next 10 →
-
On the random satisfiable process
- …On the random satisfiable process Michael Krivelevich 1⋆ , Benny Sudakov 2⋆⋆ and Dan Vilenchik 3 1…
- Add To MetaCart
-
Some Notes on Random Satisfiability
- …Some notes on random satisability Gregory B. Sorkin IBM T.J. Watson Research Center, Yorktown…
- Add To MetaCart
-
812 Analytic and Algorithmic Solution of Random Satisfiability Problems
- …812 Analytic and Algorithmic Solution of Random Satisfiability Problems M. Mézard, 1 G. Parisi, 1…
- Add To MetaCart
-
A randomized satisfiability procedure for arithmetic and uninterpreted function symbols
- …A Randomized Satisfiability Procedure for Arithmetic and Uninterpreted Function Symbols 1 Sumit…
- Cited by 1 (0 self) – Add To MetaCart
-
Solving random satisfiable 3CNF formulas in expected polynomial time
- …Solving Random Satisfiable 3CNF Formulas in Expected Polynomial Time Michael Krivelevich ∗ Dan…
- Cited by 4 (2 self) – Add To MetaCart
-
A Spectral Technique for Random Satisfiable 3CNF Formulas
- … above the threshold [10]. This paper will consider random 3CNF formulas with a \planted" satisfying…
- Cited by 22 (3 self) – Add To MetaCart
-
Fixed-Point Logics, Descriptive Complexity, And Random Satisfiability
- … . . . . . . . . . . . . . . . . . . . . . . . 97 5.2 Formulas as Structures and Satisfiability as Homomorphism . . . . . . . . . 102 5.3 Random…
- Cited by 1 (0 self) – Add To MetaCart
-
Hidden Gold in Random Generation of SAT Satisfiable Instances
- …Hidden Gold in Random Generation of SAT Satisfiable Instances Thierry Castell Michel Cayrol IRIT…
- Cited by 1 (0 self) – Add To MetaCart
-
Threshold Phenomena in Random Graph Colouring and Satisfiability
- …Threshold Phenomena in Random Graph Colouring and Satisfiability by Dimitris Achlioptas A thesis…
- Cited by 17 (4 self) – Add To MetaCart
-
Finding a randomly planted assignment in a random 3CNF
- … assignment for a randomly chosen satisfiable 3- CNF with n variables and \Delta n clauses, where \Delta…
- Cited by 4 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
