Supercharging plant configurations using Z3 (Q2117195): Difference between revisions

@@ Property / describes a project that uses @@
+Z3str3
@@ Property / describes a project that uses: Z3str3 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Reveal
@@ Property / describes a project that uses: Reveal / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Yices
@@ Property / describes a project that uses: Yices / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+AsmL
@@ Property / describes a project that uses: AsmL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MUSer2
@@ Property / describes a project that uses: MUSer2 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CaDiCaL
@@ Property / describes a project that uses: CaDiCaL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CVC4SY
@@ Property / describes a project that uses: CVC4SY / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+COMiniSatPS
@@ Property / describes a project that uses: COMiniSatPS / 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 @@
+Rosette
@@ Property / describes a project that uses: Rosette / 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/978-3-030-78230-6_1
+Normal rank
@@ Property / OpenAlex ID @@
+W3172278720
@@ Property / OpenAlex ID: W3172278720 / rank @@
+Normal rank
@@ Property / cites work @@
+Reveal: A Formal Verification Tool for Verilog Designs
+Normal rank
@@ Property / cites work @@
+Q3194802
@@ Property / cites work: Q3194802 / rank @@
+Normal rank
@@ Property / cites work @@
+Variations on the Common Subexpression Problem
@@ Property / cites work: Variations on the Common Subexpression Problem / 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 @@
+Chronological backtracking
@@ Property / cites work: Chronological backtracking / rank @@
+Normal rank
@@ Property / cites work @@
+On SAT Modulo Theories and Optimization Problems
@@ Property / cites work: On SAT Modulo Theories and Optimization Problems / rank @@
+Normal rank
@@ Property / cites work @@
+Between SAT and UNSAT: The Fundamental Difference in CDCL SAT
+Normal rank
@@ Property / cites work @@
+Edge routing with ordered bundles
@@ Property / cites work: Edge routing with ordered bundles / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of diagnosis from first principles
@@ Property / cites work: A theory of diagnosis from first principles / rank @@
+Normal rank
@@ Property / cites work @@
+Q3043750
@@ Property / cites work: Q3043750 / rank @@
+Normal rank
@@ Property / cites work @@
+GRASP: a search algorithm for propositional satisfiability
+Normal rank
@@ Property / cites work @@
+Q3528927
@@ Property / cites work: Q3528927 / rank @@
+Normal rank