Mining Backbone Literals in Incremental SAT
From MaRDI portal
Publication:3453214
DOI10.1007/978-3-319-24318-4_8zbMath1471.68247MaRDI QIDQ3453214
Ofer Strichman, Alexander Ivrii, Vadim Ryvchin
Publication date: 20 November 2015
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-24318-4_8
68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
Uses Software