UBCSAT
From MaRDI portal
swMATH2614MaRDI QIDQ15153FDOQ15153
Author name not available (Why is that?)
Official website: https://github.com/dtompkins/ubcsat
Source code repository: https://github.com/dtompkins/ubcsat
Cited In (65)
- Dynamic scoring functions with variable expressions: new SLS methods for solving SAT
- Captain Jack: new variable selection heuristics in local search for SAT
- Pitfalls and best practices in algorithm configuration
- An iterative path-breaking approach with mutation and restart strategies for the MAX-SAT problem
- On the van der Waerden numbers \(\mathrm{w}(2; 3, t)\)
- Efficient branch-and-bound algorithms for weighted MAX-2-SAT
- Solving hybrid Boolean constraints in continuous space via multilinear Fourier expansions
- SATenstein: automatically building local search SAT solvers from components
- Stochastic local search for SMT: combining theory solvers with WalkSAT
- Theory and Applications of Satisfiability Testing
- Breaking Cycle Structure to Improve Lower Bound for Max-SAT
- SYSTEMATIC VERSUS LOCAL SEARCH AND GA TECHNIQUES FOR INCREMENTAL SAT
- Principles and Practice of Constraint Programming – CP 2004
- Decomposing SAT Instances with Pseudo Backbones
- Some more van der Waerden numbers
- Global versus local search: the impact of population sizes on evolutionary algorithm performance
- The Normalized Autocorrelation Length of Random Max $$r$$ -Sat Converges in Probability to $$(1-1/2^r)/r$$
- Theory and Applications of Satisfiability Testing
- Combining Adaptive Noise and Look-Ahead in Local Search for SAT
- Relaxed Survey Propagation for The Weighted Maximum Satisfiability Problem
- New local search methods for partial MaxSAT
- Improved haplotype assembly using Xor genotypes
- Probabilistic characterization of random Max \(r\)-Sat
- kcnfs
- March_eq
- Variable Dependency in Local Search: Prevention Is Better Than Cure
- OptSAT
- Paramils
- Pueblo
- UnitWalk
- SatEx
- MaxSolver
- BIANCA
- MAX-2-SAT
- Walksat
- BG-WalkSAT
- RPOLY
- NiVER
- PicoSAT
- OPIUM
- Runsolver
- MiniMaxSat
- MSUnCore
- tawSolver
- Capo
- RSat
- Velev SAT Benchmarks
- SATenstein
- MaxHS
- OKlibrary
- HapCUT
- Iterative and core-guided maxsat solving: a survey and assessment
- Justification-Based Local Search with Adaptive Noise Strategies
- Cooperative parallel SAT local search with path relinking
- CCLS
- FourierSAT
- Solving SAT (and MaxSAT) with a quantum annealer: foundations, encodings, and preliminary results
- Simulating circuit-level simplifications on CNF
- Speeding-Up Non-clausal Local Search for Propositional Satisfiability with Clause Learning
- Sequential model-based parameter optimization: an experimental investigation of automated and interactive approaches
- Efficiently Calculating Evolutionary Tree Measures Using SAT
- Symmetry Breaking and Local Search Spaces
- Paramils: an automatic algorithm configuration framework
- Minimaxsat: an efficient weighted Max-SAT solver
- Green-Tao Numbers and SAT
This page was built for software: UBCSAT
