Watched Data Structures for QBF Solvers

  title={Watched Data Structures for QBF Solvers},
  author={Ian P. Gent and Enrico Giunchiglia and Massimo Narizzano and Andrew Rowley and Armando Tacchella},
In the last few years, we have seen a tremendous boost in the efficiency of SAT solvers, this boost being mostly due to Chaff. Chaff owes some of its efficiency to its “two-literal watching” data structure. In this paper we present watched data structures for Quantified Boolean Formula (QBF) satisfiability solvers. In particular, we propose (i) two Chaff… CONTINUE READING

4 Figures & Tables



Citations per Year

fewer than 50 Citations

Semantic Scholar estimates that this publication has 50 citations based on the available data.

See our FAQ for additional information.