Everything You Always Wanted to Know about Blocked Sets (But Were Afraid to Ask)

DOI10.1007/978-3-319-09284-3_24zbMath1423.68435OpenAlexW104044527MaRDI QIDQ3192079

Tomáš Balyo, Armin Biere, Andreas Fröhlich, Marijn J. H. Heule

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_24

Mathematics Subject Classification ID

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

Related Items (4)

Recognition of Nested Gates in CNF Formulas ⋮ Mining definitions in Kissat with Kittens ⋮ Unnamed Item ⋮ Super-Blocked Clauses

This page was built for publication: Everything You Always Wanted to Know about Blocked Sets (But Were Afraid to Ask)