M\textbf{ath}SAT: Tight integration of SAT and mathematical decision procedures (Q862395): Difference between revisions

@@ Property / DOI @@
-.1007/s10817-005-9004-z
@@ Property / DOI: 10.1007/s10817-005-9004-z / rank @@
-Normal rank
@@ Property / author @@
-Alessandro Cimatti
@@ Property / author: Alessandro Cimatti / rank @@
-Normal rank
@@ Property / author @@
+Alessandro Cimatti
@@ Property / author: Alessandro Cimatti / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q62041379
@@ Property / Wikidata QID: Q62041379 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MiniSat
@@ Property / describes a project that uses: MiniSat / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Zapato
@@ Property / describes a project that uses: Zapato / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+QOCA
@@ Property / describes a project that uses: QOCA / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ICS
@@ Property / describes a project that uses: ICS / 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 @@
+E Theorem Prover
@@ Property / describes a project that uses: E Theorem Prover / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Cassowary
@@ Property / describes a project that uses: Cassowary / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CVC Lite
@@ Property / describes a project that uses: CVC Lite / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10817-005-9004-z
+Normal rank
@@ Property / OpenAlex ID @@
+W2158995961
@@ Property / OpenAlex ID: W2158995961 / rank @@
+Normal rank
@@ Property / cites work @@
+Mechanizing Mathematical Reasoning
@@ Property / cites work: Mechanizing Mathematical Reasoning / 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 @@
+Q4809056
@@ Property / cites work: Q4809056 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4422082
@@ Property / cites work: Q4422082 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Q2751364
@@ Property / cites work: Q2751364 / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Negative-cycle detection algorithms
@@ Property / cites work: Negative-cycle detection algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / 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 @@
+Q4553256
@@ Property / cites work: Q4553256 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+An Automatic Method of Solving Discrete Programming Problems
+Normal rank
@@ Property / cites work @@
+Q3408132
@@ Property / cites work: Q3408132 / rank @@
+Normal rank
@@ Property / cites work @@
+Backtracking algorithms for disjunctions of temporal constraints
+Normal rank
@@ Property / cites work @@
+Q4427902
@@ Property / cites work: Q4427902 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4804898
@@ Property / cites work: Q4804898 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4804883
@@ Property / cites work: Q4804883 / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S10817-005-9004-Z
@@ Property / DOI: 10.1007/S10817-005-9004-Z / rank @@
+Normal rank