Improving Implementation of SLS Solvers for SAT and New Heuristics for k-SAT with Long Clauses

DOI10.1007/978-3-319-09284-3_23zbMath1423.68434OpenAlexW51584572MaRDI QIDQ3192078

Adrian Balint, Andreas Fröhlich, Armin Biere, Uwe Schoening

Publication date: 26 September 2014

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

Full work available at URL: https://doi.org/10.1007/978-3-319-09284-3_23

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (1)

XOR local search for Boolean Brent equations

This page was built for publication: Improving Implementation of SLS Solvers for SAT and New Heuristics for k-SAT with Long Clauses