Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Chew, Leroy Nicholas"'
Autor:
Chew, Leroy Nicholas
Quantified Boolean Formulas (QBF) and their proof complexity are not as well understood as propositional formulas, yet remain an area of interest due to their relation to QBF solving. Proof systems for QBF provide a theoretical underpinning for the p
Externí odkaz:
https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.723199
