SPASS-SATT. A CDCL(LA) solver (Q2305409): Difference between revisions

@@ Property / cites work @@
+Splitting on Demand in SAT Modulo Theories
@@ Property / cites work: Splitting on Demand in SAT Modulo Theories / rank @@
+Normal rank
@@ Property / cites work @@
+A reduction from unbounded linear mixed arithmetic problems into bounded problems
+Normal rank
@@ Property / cites work @@
+Linear Integer Arithmetic Revisited
@@ Property / cites work: Linear Integer Arithmetic Revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Fast Cube Tests for LIA Constraint Solving
@@ Property / cites work: Fast Cube Tests for LIA Constraint Solving / rank @@
+Normal rank
@@ Property / cites work @@
+New techniques for linear arithmetic: cubes and equalities
+Normal rank
@@ Property / cites work @@
+The MathSAT5 SMT Solver
@@ Property / cites work: The MathSAT5 SMT Solver / rank @@
+Normal rank
@@ Property / cites work @@
+Cuts from Proofs: A Complete and Practical Technique for Solving Linear Inequalities over Integers
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Q2786906
@@ Property / cites work: Q2786906 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5538300
@@ Property / cites work: Q5538300 / rank @@
+Normal rank
@@ Property / cites work @@
+Cutting to the Chase Solving Linear Integer Arithmetic
+Normal rank
@@ Property / cites work @@
+Reducibility among Combinatorial Problems
@@ Property / cites work: Reducibility among Combinatorial Problems / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient Term-ITE Conversion for Satisfiability Modulo Theories
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+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 @@
+Q2751358
@@ Property / cites work: Q2751358 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3818127
@@ Property / cites work: Q3818127 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3506045
@@ Property / cites work: Q3506045 / rank @@
+Normal rank