UnitWalk
From MaRDI portal
swMATH993MaRDI QIDQ13737FDOQ13737
Author name not available (Why is that?)
Official website: http://logic.pdmi.ras.ru/~arist/UnitWalk/
Cited In (44)
- GridSAT: Design and implementation of a computational grid application
- Boosting local search thanks to \textsc{cdcl}
- The state of SAT
- A taxonomy of exact methods for partial Max-SAT
- A comparative runtime analysis of heuristic algorithms for satisfiability problems
- A parallelization scheme based on work stealing for a class of SAT solvers
- Theory and Applications of Satisfiability Testing
- Title not available (Why is that?)
- Theory and Applications of Satisfiability Testing
- Bounds-Consistent Local Search
- A Decision-Making Procedure for Resolution-Based SAT-Solvers
- Theory and Applications of Satisfiability Testing
- Artificial Evolution
- Correlations between Horn fractions, satisfiability and solver performance for fixed density random 3-CNF instances
- On SAT instance classes and a method for reliable performance experiments with SAT solvers
- Machine learning-based restart policy for CDCL SAT solvers
- SatEx
- SATLIB
- QingTing1
- SATO
- PBS
- GrADS
- BerkMin
- GrADSAT
- Algorithmic Applications in Management
- A SAT approach to query optimization in mediator systems
- The analysis of expected fitness and success ratio of two heuristic optimizations on two bimodal MaxSat problems
- Jerusat
- QBFLIB
- A switching criterion for intensification and diversification in local search for SAT
- NAGSAT
- ZetaSAT
- Velev SAT Benchmarks
- Justification-Based Local Search with Adaptive Noise Strategies
- An improved algorithm for the \((n, 3)\)-MaxSAT problem: asking branchings to satisfy the clauses
- Phase transitions in machine learning.
- Theory and Applications of Satisfiability Testing
- Determinization of Resolution by an Algorithm Operating on Complete Assignments
- Improved local search for circuit satisfiability
- Title not available (Why is that?)
- Decision procedures. An algorithmic point of view
- Locality and hard SAT-instances
- From Idempotent Generalized Boolean Assignments to Multi-bit Search
- Title not available (Why is that?)
This page was built for software: UnitWalk
