Superposition Modulo Linear Arithmetic SUP(LA)

This publication has 9 references indexed in Scilit:

• New results on rewrite-based satisfiability procedures
  ACM Transactions on Computational Logic, 2009
• Fast and Accurate Bounds on Linear Programs
  2009
• SAT Modulo the Theory of Linear Arithmetic: Exact, Inexact and Commercial Solvers
  2008
• Engineering DPLL(T) + Saturation
  Lecture Notes in Computer Science, 2008
• Integrating Linear Arithmetic into Superposition Calculus
  Lecture Notes in Computer Science, 2007
• Superposition and Chaining for Totally Ordered Divisible Abelian Groups
  Lecture Notes in Computer Science, 2001
• Combining Superposition, Sorts and Splitting
  2001
• Hybrid Systems Verification by Location Elimination
  2000
• Refutational theorem proving for hierarchic first-order theories
  Applicable Algebra in Engineering, Communication and Computing, 1994