Theory and Applications of Satisfiability Testing
From MaRDI portal
(Redirected from Publication:5714764)
Theory and Applications of Satisfiability Testing (scientific article; zbMATH DE number 2239213)
Theory and Applications of Satisfiability Testing (scientific article; zbMATH DE number 2239213)
Recommendations
- Local search algorithms for SAT: an empirical evaluation
- Local search algorithms for SAT: an empirical evaluation
- Towards a characterisation of the behaviour of stochastic local search algorithms for SAT
- Stochastic local search - methods, models, applications (Diss., TU Darmstadt, 1998)
- scientific article; zbMATH DE number 5510694
Cited in
(31)- UBCSAT
- Towards a characterisation of the behaviour of stochastic local search algorithms for SAT
- An iterative path-breaking approach with mutation and restart strategies for the MAX-SAT problem
- Improved haplotype assembly using Xor genotypes
- Probabilistic characterization of random Max r-Sat
- Cooperative parallel SAT local search with path relinking
- Using the method of conditional expectations to supply an improved starting point for CCLS
- Solving SAT (and MaxSAT) with a quantum annealer: foundations, encodings, and preliminary results
- Solving hybrid Boolean constraints in continuous space via multilinear Fourier expansions
- Iterative and core-guided maxsat solving: a survey and assessment
- SATenstein: automatically building local search SAT solvers from components
- SatEx: A web-based framework for SAT experimentation
- Auto-Walksat: A self-tuning implementation of Walksat
- The Normalized Autocorrelation Length of Random Max $$r$$ -Sat Converges in Probability to $$(1-1/2^r)/r$$
- Captain Jack: new variable selection heuristics in local search for SAT
- Stochastic local search for SMT: combining theory solvers with WalkSAT
- Improving implementation of SLS solvers for SAT and new heuristics for k-SAT with long clauses
- New local search methods for partial MaxSAT
- Decomposing SAT Instances with Pseudo Backbones
- Speeding-Up Non-clausal Local Search for Propositional Satisfiability with Clause Learning
- Simulating circuit-level simplifications on CNF
- Efficiently Calculating Evolutionary Tree Measures Using SAT
- On the van der Waerden numbers \(\mathrm{w}(2; 3, t)\)
- scientific article; zbMATH DE number 2084727 (Why is no real title available?)
- Breaking cycle structure to improve lower bound for Max-SAT
- Dynamic scoring functions with variable expressions: new SLS methods for solving SAT
- \textsc{ahmaxsat}: description and evaluation of a branch and bound Max-SAT solver
- Efficient branch-and-bound algorithms for weighted MAX-2-SAT
- Justification-Based Local Search with Adaptive Noise Strategies
- Automated mathematical discovery and verification: minimizing pentagons in the plane
- Global versus local search: the impact of population sizes on evolutionary algorithm performance
This page was built for publication: Theory and Applications of Satisfiability Testing
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5714764)
