Pages that link to "Item:Q4930575"
From MaRDI portal
The following pages link to Improving Stochastic Local Search for SAT with a New Probability Distribution (Q4930575):
Displaying 12 items.
- Set constraint model and automated encoding into SAT: application to the social golfer problem (Q256655) (← links)
- New local search methods for partial MaxSAT (Q329035) (← links)
- Local search for Boolean satisfiability with configuration checking and subscore (Q490437) (← links)
- Improving configuration checking for satisfiable random \(k\)-SAT instances (Q513324) (← links)
- Accelerating numerical simulation of continuous-time Boolean satisfiability solver using discrete gradient (Q2045943) (← links)
- XOR local search for Boolean Brent equations (Q2118332) (← links)
- Solving hybrid Boolean constraints in continuous space via multilinear Fourier expansions (Q2238714) (← links)
- SATenstein: automatically building local search SAT solvers from components (Q2634473) (← links)
- Satisfiability by Maxwell-Boltzmann and Bose-Einstein Statistical Distributions (Q2828180) (← links)
- Captain Jack: New Variable Selection Heuristics in Local Search for SAT (Q3007692) (← links)
- CCAnr: A Configuration Checking Based Local Search Solver for Non-random Satisfiability (Q3453204) (← links)
- New stochastic local search approaches for computing preferred extensions of abstract argumentation (Q5145445) (← links)
