Efficiently Representing Existential Dependency Sets for Expansion-based QBF Solvers. Lonsing, F. & Biere, A. Electr. Notes Theor. Comput. Sci., 251:83-95, 2009.
Efficiently Representing Existential Dependency Sets for Expansion-based QBF Solvers [link]Link  bibtex   
@article{ DBLP:journals/entcs/LonsingB09,
  author    = {Florian Lonsing and Armin Biere},
  title     = {Efficiently Representing Existential Dependency Sets for Expansion-based QBF Solvers},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  pages   = {83-95},
  volume   = {251},
  ee   = {http://dx.doi.org/10.1016/j.entcs.2009.08.029} ,
  year   = {2009}
}

Downloads: 0