… We note that our current analysis of the affinity test differs from the one presented in … on
basic probabilistic arguments. The testing algorithm for monotone DNF functions uses the test for …

… basic results about complexity theory, lattices, and Boolean … to mean the time required to
test string w for membership in L … finding the minimal monotone Boolean formula The results in …

… a Boolean formula. Second, the existence of an alternating log time algorithm for the Boolean
formula … If we try to base an algorithm on either Spira’s or Brent’s algorithm for restructuring …

… BORIS has been invaluable in the exploration and testing of … This chapter surveys basic
mathematical ideas and language … Boolean formula; we therefore need to characterize Boolean …

Efficient distribution-free learning of Boolean formulas from positive and negative examples
is considered. It is shown that classes of formulas that are efficiently learnable from only …

… recall the basic notions about QBFs and then prove several properties of such formulae
that … For the future, our aim is also to perform tests on kQBF classes that are not taken into …

… We can take the basic formula to be satisfied and add clauses that explicitly state information
that can be derived by the satisfier, but may only be derived after a certain amount of case-…

… Our approach is more foundational as we consider Boolean formulas, an even more basic
… We generate a Boolean formula comprehension test instance by randomly drawing a pair …

… We can take the basic formula and add clauses that explicitly state information that the
satisfier can eventually derive, but perhaps only after a great deal of search. The simplest …

… basic … tested the implementation of our algorithm and the new techniques on a number of
problems from conditional planning and on a number of random quantified Boolean formulae. …