On Tackling the Limits of Resolution in SAT Solving

TitleOn Tackling the Limits of Resolution in SAT Solving
Publication TypeJournal Article
Year of Publication2017
AuthorsIgnatiev, A., Morgado A., & Marques-Silva J.
JournalarXiv preprint arXiv:1705.01477