The following pages link to UnitWalk (Q13737):
Displaying 31 items.
- Decision procedures. An algorithmic point of view (Q518892) (← links)
- A parallelization scheme based on work stealing for a class of SAT solvers (Q812442) (← links)
- A comparative runtime analysis of heuristic algorithms for satisfiability problems (Q835804) (← links)
- Machine learning-based restart policy for CDCL SAT solvers (Q1656568) (← links)
- Correlations between Horn fractions, satisfiability and solver performance for fixed density random 3-CNF instances (Q1776200) (← links)
- On SAT instance classes and a method for reliable performance experiments with SAT solvers (Q1777389) (← links)
- A SAT approach to query optimization in mediator systems (Q1777403) (← links)
- The analysis of expected fitness and success ratio of two heuristic optimizations on two bimodal MaxSat problems (Q1928267) (← links)
- An improved algorithm for the \((n, 3)\)-MaxSAT problem: asking branchings to satisfy the clauses (Q2051907) (← links)
- A taxonomy of exact methods for partial Max-SAT (Q2434567) (← links)
- GridSAT: Design and implementation of a computational grid application (Q2505055) (← links)
- The state of SAT (Q2643296) (← links)
- (Q3429165) (← links)
- A Decision-Making Procedure for Resolution-Based SAT-Solvers (Q3502699) (← links)
- Bounds-Consistent Local Search (Q3524232) (← links)
- (Q3604001) (← links)
- (Q3604008) (← links)
- From Idempotent Generalized Boolean Assignments to Multi-bit Search (Q3612462) (← links)
- (Q4418385) (← links)
- (Q4708010) (← links)
- Improved Local Search for Circuit Satisfiability (Q4930596) (← links)
- Boosting Local Search Thanks to cdcl (Q4933326) (← links)
- Theory and Applications of Satisfiability Testing (Q5325850) (← links)
- Theory and Applications of Satisfiability Testing (Q5325882) (← links)
- Phase Transitions in Machine Learning (Q5391646) (← links)
- Justification-Based Local Search with Adaptive Noise Strategies (Q5505541) (← links)
- Algorithmic Applications in Management (Q5710128) (← links)
- Theory and Applications of Satisfiability Testing (Q5713707) (← links)
- Theory and Applications of Satisfiability Testing (Q5714765) (← links)
- Artificial Evolution (Q5717642) (← links)
- Determinization of Resolution by an Algorithm Operating on Complete Assignments (Q5756586) (← links)
