Teofil Sidoruk. Investigating Characteristics and Differences Between Easy and Hard SAT Instances. In Bernd-Holger Schlingloff, Samira Akili, editors, Proceedings of the 27th International Workshop on Concurrency, Specification and Programming, Berlin, Germany, September 24-26, 2018. Volume 2240 of CEUR Workshop Proceedings, CEUR-WS.org, 2018. [doi]
Abstract is missing.