@dblp

Validating the result of a Quantified Boolean Formula (QBF) solver: theory and practice.

, and . ASP-DAC, page 1047-1051. ACM Press, (2005)

Links and resources

Tags