149
click to vote
BIRTHDAY
2004
Springer
15 years 7 months ago
2004
Springer
A quantified Boolean formula is true, if for any existentially quantified variable there exists a Boolean function depending on the preceding universal variables, such that substi...