Mind the Gap: Bit-vector Interpolation recast over Linear Integer Arithmetic (Q5039504): Difference between revisions

@@ Property / cites work @@
+Deciding Bit-Vector Arithmetic with Abstraction
@@ Property / cites work: Deciding Bit-Vector Arithmetic with Abstraction / rank @@
+Normal rank
@@ Property / cites work @@
+The MathSAT5 SMT Solver
@@ Property / cites work: The MathSAT5 SMT Solver / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient Interpolant Generation in Satisfiability Modulo Theories
+Normal rank
@@ Property / cites work @@
+Interpolant Generation for UTVPI
@@ Property / cites work: Interpolant Generation for UTVPI / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic
+Normal rank
@@ Property / cites work @@
+Lazy abstraction
@@ Property / cites work: Lazy abstraction / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient Craig interpolation for linear Diophantine (dis)equations and linear modular equations
+Normal rank
@@ Property / cites work @@
+Affine relationships among variables of a program
@@ Property / cites work: Affine relationships among variables of a program / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic Abstraction for Congruences
@@ Property / cites work: Automatic Abstraction for Congruences / rank @@
+Normal rank
@@ Property / cites work @@
+An interpolating theorem prover
@@ Property / cites work: An interpolating theorem prover / rank @@
+Normal rank
@@ Property / cites work @@
+Lazy Abstraction with Interpolants
@@ Property / cites work: Lazy Abstraction with Interpolants / rank @@
+Normal rank
@@ Property / cites work @@
+Interpolation and Model Checking
@@ Property / cites work: Interpolation and Model Checking / rank @@
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+The small model property: How small can it be?
@@ Property / cites work: The small model property: How small can it be? / rank @@
+Normal rank
@@ Property / cites work @@
+Constraint solving for interpolation
@@ Property / cites work: Constraint solving for interpolation / rank @@
+Normal rank
@@ Property / cites work @@
+Taming the Wrapping of Integer Arithmetic
@@ Property / cites work: Taming the Wrapping of Integer Arithmetic / rank @@
+Normal rank