Linear Quantifier Elimination as an Abstract Decision Procedure (Q5747770): Difference between revisions

@@ Property / cites work @@
+Superposition Modulo Linear Arithmetic SUP(LA)
@@ Property / cites work: Superposition Modulo Linear Arithmetic SUP(LA) / rank @@
+Normal rank
@@ Property / cites work @@
+(LIA) - Model Evolution with Linear Integer Arithmetic Constraints
+Normal rank
@@ Property / cites work @@
+Enhancing modular OO verification with separation logic
+Normal rank
@@ Property / cites work @@
+Conflict Resolution
@@ Property / cites work: Conflict Resolution / rank @@
+Normal rank
@@ Property / cites work @@
+Integrating Linear Arithmetic into Superposition Calculus
+Normal rank
@@ Property / cites work @@
+Effective Quantifier Elimination for Presburger Arithmetic with Infinity
+Normal rank
@@ Property / cites work @@
+Applying Linear Quantifier Elimination
@@ Property / cites work: Applying Linear Quantifier Elimination / rank @@
+Normal rank
@@ Property / cites work @@
+Generalizing DPLL to Richer Logics
@@ Property / cites work: Generalizing DPLL to Richer Logics / rank @@
+Normal rank
@@ Property / cites work @@
+A Quantifier Elimination Algorithm for Linear Real Arithmetic
+Normal rank
@@ Property / cites work @@
+Solving SAT and SAT Modulo Theories
@@ Property / cites work: Solving SAT and SAT Modulo Theories / rank @@
+Normal rank
@@ Property / cites work @@
+Linear Quantifier Elimination
@@ Property / cites work: Linear Quantifier Elimination / rank @@
+Normal rank
@@ Property / cites work @@
+A Constraint Sequent Calculus for First-Order Logic with Linear Integer Arithmetic
+Normal rank
@@ Property / cites work @@
+Regression Verification for Multi-threaded Programs
+Normal rank