Incorporating Learning in Grid-Based Randomized SAT Solving

DOI10.1007/978-3-540-85776-1_21zbMath1169.68603OpenAlexW1555375604MaRDI QIDQ3534664

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

Publication date: 4 November 2008

Published in: Artificial Intelligence: Methodology, Systems, and Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-85776-1_21

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Randomized algorithms (68W20) Distributed algorithms (68W15)

Related Items (1)

An Expressive Model for Instance Decomposition Based Parallel SAT Solvers

This page was built for publication: Incorporating Learning in Grid-Based Randomized SAT Solving