Incremental QBF Solving by DepQBF

Florian Lonsing, Uwe Egly. Incremental QBF Solving by DepQBF. In Hoon Hong, Chee Yap, editors, Mathematical Software - ICMS 2014 - 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings. Volume 8592 of Lecture Notes in Computer Science, pages 307-314, Springer, 2014. [doi]

Abstract

Abstract is missing.