The small model property: How small can it be? (Q1854568): Difference between revisions

@@ Property / describes a project that uses @@
+CVT
@@ Property / describes a project that uses: CVT / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Solvable cases of the decision problem
@@ Property / cites work: Solvable cases of the decision problem / rank @@
+Normal rank
@@ Property / cites work @@
+Q4804887
@@ Property / cites work: Q4804887 / rank @@
+Normal rank
@@ Property / cites work @@
+Graph-Based Algorithms for Boolean Function Manipulation
+Normal rank
@@ Property / cites work @@
+Q4818814
@@ Property / cites work: Q4818814 / rank @@
+Normal rank
@@ Property / cites work @@
+Processor verification using efficient reductions of the logic of uninterpreted functions to propositional logic
+Normal rank
@@ Property / cites work @@
+BDD based procedures for a theory of equality with uninterpreted functions
+Normal rank
@@ Property / cites work @@
+The code validation tool (CVT). Automatic verification of a compilation process
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s0890-5401(02)93175-5
+Normal rank
@@ Property / OpenAlex ID @@
+W2021915358
@@ Property / OpenAlex ID: W2021915358 / rank @@
+Normal rank