A Novel SAT Procedure for Linear Real Arithmetic (bibtex)
by Peter Koppensteiner, Helmut Veith
Reference:
A Novel SAT Procedure for Linear Real ArithmeticPeter Koppensteiner, Helmut VeithThird Workshop on Pragmatics of Decision Procedures in Automated Reasoning (PDPAR 2005), 2005.
Bibtex Entry:
@inproceedings{koppensteiner:veith05,
  author = {Peter Koppensteiner and Helmut Veith},
  title = {A Novel SAT Procedure for Linear Real Arithmetic},
  year = {2005},
  booktitle = {Third Workshop on Pragmatics of Decision Procedures in Automated
  Reasoning (PDPAR 2005)}
}
Powered by bibtexbrowser