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., A. Morgado, and J. Marques-Silva
JournalarXiv preprint arXiv:1705.01477