N. Hristov, Anja Remshagen. Local search for quantified Boolean formulas. In Mário Guimarães, editor, Proceedings of the 43nd Annual Southeast Regional Conference, 2005, Kennesaw, Georgia, Alabama, USA, March 18-20, 2005, Volume 1. pages 116-120, ACM, 2005. [doi]
No references recorded for this publication.
No citations of this publication recorded.