Pages that link to "Item:Q5958635"

The following pages link to Local search characteristics of incomplete SAT procedures (Q5958635):

Displaying 15 items.

• Approximating Max NAE-\(k\)-SAT by anonymous local search (Q507440) (← links)
• Analysis of local search landscapes for \(k\)-SAT instances (Q626907) (← links)
• Clause weighting local search for SAT (Q862404) (← links)
• The island confinement method for reducing search space in local search methods (Q930151) (← links)
• Graph coloring by multiagent fusion search (Q1037448) (← links)
• Constraint-directed search for all-interval series (Q1699523) (← links)
• UnitWalk: A new SAT solver that uses local search guided by unit clause elimination (Q1777395) (← links)
• Understanding the role of noise in stochastic local search: analysis and experiments (Q2389642) (← links)
• Portfolios in stochastic local search: efficiently computing most probable explanations in Bayesian networks (Q2429986) (← links)
• Constraint partitioning in penalty formulations for solving temporal planning problems (Q2457638) (← links)
• The state of SAT (Q2643296) (← links)
• Local Search to Approximate Max NAE-$$k$$-Sat Tightly (Q3452574) (← links)
• A DECISION PROCEDURE FOR PROBABILITY CALCULUS WITH APPLICATIONS (Q3580663) (← links)
• Approximate coherence-based reasoning (Q4453903) (← links)
• Local search characteristics of incomplete SAT procedures (Q5958635) (← links)