Strategies for Solving SAT in Grids by Randomized Search

DOI10.1007/978-3-540-85110-3_11zbMath1166.68355OpenAlexW1513294700MaRDI QIDQ5505494

Antti E. J. Hyvärinen, Tommi Junttila, Ilkka Niemelä

Publication date: 27 January 2009

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

Full work available at URL: https://doi.org/10.1007/978-3-540-85110-3_11

Mathematics Subject Classification ID

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

Uses Software

• MiniSat
• GridSAT
• PSATO
• SATO
• ZetaSAT
• GridJM

This page was built for publication: Strategies for Solving SAT in Grids by Randomized Search