scientific article; zbMATH DE number 1113991
From MaRDI portal
Publication:4375756
Recommendations
Cited in
(68)- Random constraint satisfaction: easy generation of hard (satisfiable) instances
- A two-phase algorithm for solving a class of hard satisfiability problems
- Easy problems are sometimes hard
- How to fake an RSA signature by encoding modular root finding as a SAT problem
- On SAT instance classes and a method for reliable performance experiments with SAT solvers
- Complete on average Boolean satisfiability
- Running time experiments on some algorithms for solving propositional satisfiability problems
- Feasibly constructive proofs of succinct weak circuit lower bounds
- A fast algorithm for SAT in terms of formula length
- Large hypertree width for sparse random hypergraphs
- Many hard examples in exact phase transitions
- A taxonomy of exact methods for partial Max-SAT
- Partition-based logical reasoning for first-order and propositional theories
- Locally consistent constraint satisfaction problems
- Typical case complexity of satisfiability algorithms and the threshold phenomenon
- The state of SAT
- Generating hard satisfiability problems
- Experimental results on the crossover point in random 3-SAT
- Some pitfalls for experimenters with random SAT
- Hard random 3-SAT problems and the Davis-Putnam procedure
- Balance and filtering in structured satisfiable problems. (Preliminary report)
- Unique solution instance generation for the 3-satisfiability (3SAT) problem
- Satisfiability by Maxwell-Boltzmann and Bose-Einstein statistical distributions
- Backdoors to satisfaction
- Parallel logical cryptanalysis of the generator A5/1 in BNB-grid system
- Hard satisfiable clause sets for benchmarking equivalence reasoning techniques
- Locality and hard SAT-instances
- Random Instances of W[2]-Complete Problems: Thresholds, Complexity, and Algorithms
- scientific article; zbMATH DE number 5287580 (Why is no real title available?)
- Hierarchical Hardness Models for SAT
- A SAT-based preimage analysis of reduced \textsc{Keccak} hash functions
- scientific article; zbMATH DE number 69339 (Why is no real title available?)
- scientific article; zbMATH DE number 169728 (Why is no real title available?)
- Toward a model for backtracking and dynamic programming
- A note on SAT algorithms and proof complexity
- scientific article; zbMATH DE number 1954175 (Why is no real title available?)
- scientific article; zbMATH DE number 2084701 (Why is no real title available?)
- Fractional edge cover number of Model RB
- Circuit lower bounds in bounded arithmetics
- scientific article; zbMATH DE number 4003523 (Why is no real title available?)
- Hard satisfiable 3-SAT instances via autocorrelation
- On black-box optimization in divide-and-conquer SAT solving
- A remark on pseudo proof systems and hard instances of the satisfiability problem
- scientific article; zbMATH DE number 7199588 (Why is no real title available?)
- Technology for translating combinatorial problems into Boolean equations
- Diophantine cryptography over infinite groups
- Finding Effective SAT Partitionings Via Black-Box Optimization
- Survey propagation: An algorithm for satisfiability
- Sgen1, a generator of small but difficult satisfiability benchmarks
- Threshold values of random K‐SAT from the cavity method
- Theory and Applications of Satisfiability Testing
- scientific article; zbMATH DE number 2243408 (Why is no real title available?)
- On super strong ETH
- Satisfiability threshold for power law random 2-SAT in configuration model
- Principles and Practice of Constraint Programming – CP 2004
- Principles and Practice of Constraint Programming – CP 2004
- SOFSEM 2004: Theory and Practice of Computer Science
- Rigorous results for random (2+p)-SAT
- A weight-balanced branching rule for SAT
- Generating Difficult CNF Instances in Unexplored Constrainedness Regions
- Further improvements for SAT in terms of formula length
- Faster random k-CNF satisfiability
- SAT and lattice reduction for integer factorization
- Computational experience with an interior point algorithm on the satisfiability problem
- An improved generator for 3-CNF formulas
- Data reductions, fixed parameter tractability, and random weighted d-CNF satisfiability
- Backdoor sets for DLL subsolvers
- Simple search methods for finding a Nash equilibrium
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 Q4375756)
