Watched Data Structures for QBF Solvers

@inproceedings{Gent2003WatchedDS,
  title={Watched Data Structures for QBF Solvers},
  author={Ian P. Gent and Enrico Giunchiglia and Massimo Narizzano and Andrew Rowley and Armando Tacchella},
  booktitle={SAT},
  year={2003}
}
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

Topics

Statistics

01020'04'06'08'10'12'14'16'18
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.