Sharpening constraint programming approaches for bit-vector theory (Q2011567): Difference between revisions

@@ Property / describes a project that uses @@
+CPBPV
@@ Property / describes a project that uses: CPBPV / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SMT-LIB
@@ Property / describes a project that uses: SMT-LIB / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Chaff
@@ Property / describes a project that uses: Chaff / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CVC4
@@ Property / describes a project that uses: CVC4 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MathSAT5
@@ Property / describes a project that uses: MathSAT5 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+OSMOSE
@@ Property / describes a project that uses: OSMOSE / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+TCAS
@@ Property / describes a project that uses: TCAS / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2619890504
@@ Property / OpenAlex ID: W2619890504 / rank @@
+Normal rank
@@ Property / cites work @@
+An Alternative to SAT-Based Approaches for Bit-Vectors
+Normal rank
@@ Property / cites work @@
+Solving quantified verification conditions using satisfiability modulo theories
+Normal rank
@@ Property / cites work @@
+Taking Satisfiability to the Next Level with Z3
@@ Property / cites work: Taking Satisfiability to the Next Level with Z3 / rank @@
+Normal rank
@@ 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 @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Boosting search with variable elimination in constraint optimization and constraint satisfaction problems
+Normal rank
@@ Property / cites work @@
+Q4144755
@@ Property / cites work: Q4144755 / rank @@
+Normal rank
@@ Property / cites work @@
+Theory and Applications of Satisfiability Testing
@@ Property / cites work: Theory and Applications of Satisfiability Testing / rank @@
+Normal rank
@@ Property / cites work @@
+Explaining Time-Table-Edge-Finding Propagation for the Cumulative Resource Constraint
+Normal rank
@@ Property / cites work @@
+A Decision Procedure for Bit-Vectors and Arrays
@@ Property / cites work: A Decision Procedure for Bit-Vectors and Arrays / rank @@
+Normal rank
@@ Property / cites work @@
+Q2767075
@@ Property / cites work: Q2767075 / rank @@
+Normal rank
@@ Property / cites work @@
+Lazy abstraction
@@ Property / cites work: Lazy abstraction / rank @@
+Normal rank
@@ Property / cites work @@
+Decision procedures. An algorithmic point of view. With foreword by Randal E. Bryant
+Normal rank
@@ Property / cites work @@
+Lazy Abstraction with Interpolants
@@ Property / cites work: Lazy Abstraction with Interpolants / rank @@
+Normal rank
@@ Property / cites work @@
+Social processes and proofs of theorems and programs
+Normal rank
@@ Property / cites work @@
+Simplification by Cooperating Decision Procedures
@@ Property / cites work: Simplification by Cooperating Decision Procedures / rank @@
+Normal rank
@@ Property / cites work @@
+A Constraint Solver Based on Abstract Domains
@@ Property / cites work: A Constraint Solver Based on Abstract Domains / rank @@
+Normal rank
@@ Property / cites work @@
+A Bit-Vector Solver with Word-Level Propagation
@@ Property / cites work: A Bit-Vector Solver with Word-Level Propagation / rank @@
+Normal rank