NuMDG: a new tool for multiway decision graphs construction (Q2434522): Difference between revisions

@@ Property / author @@
-Otmane Ait Mohamed
@@ Property / author: Otmane Ait Mohamed / rank @@
-Normal rank
@@ Property / author @@
+Otmane Ait Mohamed
@@ Property / author: Otmane Ait Mohamed / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Velev SAT Benchmarks
@@ Property / describes a project that uses: Velev SAT Benchmarks / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+NuSMV
@@ Property / describes a project that uses: NuSMV / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3150464090
@@ Property / OpenAlex ID: W3150464090 / rank @@
+Normal rank
@@ Property / cites work @@
+Graph-Based Algorithms for Boolean Function Manipulation
+Normal rank
@@ Property / cites work @@
+Model Checking for a First-Order Temporal Logic Using Multiway Decision Graphs (MDGs)
+Normal rank
@@ Property / cites work @@
+A New Approach for the Construction of Multiway Decision Graphs
+Normal rank
@@ Property / cites work @@
+Q4428300
@@ Property / cites work: Q4428300 / rank @@
+Normal rank
@@ Property / cites work @@
+BDD based procedures for a theory of equality with uninterpreted functions
+Normal rank
@@ Property / cites work @@
+Q4251914
@@ Property / cites work: Q4251914 / 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 @@
+Effective use of Boolean satisfiability procedures in the formal verification of superscalar and VLIW microprocessors.
+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 @@
+Q4818813
@@ Property / cites work: Q4818813 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4551144
@@ Property / cites work: Q4551144 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4818814
@@ Property / cites work: Q4818814 / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Q4720771
@@ Property / cites work: Q4720771 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4804909
@@ Property / cites work: Q4804909 / rank @@
+Normal rank
@@ Property / cites work @@
+On the non-termination of MDG-based abstract state enumeration
+Normal rank
@@ Property / cites work @@
+Recurrence domains: Their unification and application to logic programming
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2434522