Browse Research and Tech Reports - Computer Science by Subject "user-definable predicates"

  • Gutierrez Raul; Meseguer Jose (2018-02-12)
    Decision procedures can be either theory-specific, e.g., Presburger arithmetic, or theory-generic, applying to an infinite number of user-definable theories. Variant satisfiability is a theory-generic procedure ...

    application/pdf

    application/pdfPDF (418kB)
  • Gutierrez, Raul; Meseguer, Jose (2017-06-27)
    Decision procedures can be either theory specific, e.g., Presburger arithmetic, or theory-generic, applying to an infinite number of user-definable theories. Variant satisfiability is a theory-generic procedure ...

    application/pdf

    application/pdfPDF (439kB)