Heuristic NPN Classification for Large Functions Using AIGs and LEXSAT (Q2818016): Difference between revisions

@@ Property / author @@
-Robert K. Brayton
@@ Property / author: Robert K. Brayton / rank @@
-Normal rank
@@ Property / author @@
+Robert K. Brayton
@@ Property / author: Robert K. Brayton / rank @@
+Normal rank
@@ Property / cites work @@
+Applying Logic Synthesis for Speeding Up SAT
@@ Property / cites work: Applying Logic Synthesis for Speeding Up SAT / rank @@
+Normal rank
@@ Property / cites work @@
+Q5519576
@@ Property / cites work: Q5519576 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5593643
@@ Property / cites work: Q5593643 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2957449
@@ Property / cites work: Q2957449 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of optimization problems
@@ Property / cites work: The complexity of optimization problems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3929672
@@ Property / cites work: Q3929672 / 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 @@
+ABC
@@ Property / describes a project that uses: ABC / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2478522672
@@ Property / OpenAlex ID: W2478522672 / rank @@
+Normal rank