scientific article; zbMATH DE number 1929945
From MaRDI portal
Publication:4708577
Recommendations
- Some Results on Random Unsatisfiable k-Sat Instances and Approximation Algorithms Applied to Random Structures
- An efficient approach to solving random \(k\)-SAT problems
- scientific article; zbMATH DE number 1002207
- Theory and Applications of Satisfiability Testing
- Kolmogorov complexity based upper bounds for the unsatisfiability threshold of random \(k\)-SAT
- Techniques from combinatorial approximation algorithms yield efficient algorithms for random 2\(k\)-SAT
- The structure of the set of satisfying assignments for a random \(k\)-CNF
- An exact and a randomized approach for the satisfiability problem
- scientific article; zbMATH DE number 1689045
- On the concentration of the number of solutions of random satisfiability formulas
Cited in
(13)- Recognizing More Unsatisfiable Random k-SAT Instances Efficiently
- Algorithms and Computation
- scientific article; zbMATH DE number 1754601 (Why is no real title available?)
- An efficient approach to solving random \(k\)-SAT problems
- On good algorithms for determining unsatisfiability of propositional formulas
- Geometric properties of satisfying assignments of random ε-1-in-kSAT
- scientific article; zbMATH DE number 1689045 (Why is no real title available?)
- Certifying unsatisfiability of random \(2k\)-SAT formulas using approximation techniques.
- The structure of the set of satisfying assignments for a random \(k\)-CNF
- Recognizing more random unsatisfiable 3-SAT instances efficiently
- Computing unsatisfiable \(k\)-SAT instances with few occurrences per variable
- Techniques from combinatorial approximation algorithms yield efficient algorithms for random 2\(k\)-SAT
- Some Results on Random Unsatisfiable k-Sat Instances and Approximation Algorithms Applied to Random Structures
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4708577)
