Neighbourhood Clause Weight Redistribution in Local Search for SAT

DOI10.1007/11564751_62zbMath1153.68050OpenAlexW1564467016MaRDI QIDQ3524223

No author found.

Publication date: 9 September 2008

Published in: Principles and Practice of Constraint Programming - CP 2005 (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/10072/2593

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (2)

CCEHC: an efficient local search algorithm for weighted partial maximum satisfiability ⋮ XOR local search for Boolean Brent equations

This page was built for publication: Neighbourhood Clause Weight Redistribution in Local Search for SAT