Another Complete Local Search Method for SAT

DOI10.1007/11591191_41zbMath1143.68592OpenAlexW1481682630MaRDI QIDQ5387868

Haiou Shen, Han-Tao Zhang

Publication date: 27 May 2008

Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

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

Mathematics Subject Classification ID

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

Uses Software

• SATLIB
• SATO
• Chaff
• BerkMin

This page was built for publication: Another Complete Local Search Method for SAT