Theory and Applications of Satisfiability Testing

DOI10.1007/b137280zbMath1128.68482OpenAlexW2497844642MaRDI QIDQ5713746

Mikko J. Alava, Sakari Seitz, Pekka Orponen

Publication date: 15 December 2005

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b137280

Mathematics Subject Classification ID

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

Related Items (3)

CCAnr: A Configuration Checking Based Local Search Solver for Non-random Satisfiability ⋮ Analysis of local search landscapes for \(k\)-SAT instances ⋮ Local search for Boolean satisfiability with configuration checking and subscore

Uses Software

• Walksat

This page was built for publication: Theory and Applications of Satisfiability Testing