Efficient Extraction of Skolem Functions from QRAT Proofs (bibtex)
by Martina Seidl Marijn Heule, Armin Biere
Reference:
Efficient Extraction of Skolem Functions from QRAT ProofsMartina Seidl Marijn Heule, Armin BiereFMCAD, 2014.
Bibtex Entry:
@inproceedings{KLXJOIA,
  author    = {Marijn Heule, Martina Seidl and Armin Biere},
  title     = {Efficient Extraction of Skolem Functions from QRAT Proofs},
  booktitle = {FMCAD},
  year      = {2014},
  url       = {pubpdf/lkjlkxoijdf.pdf}
}
Powered by bibtexbrowser