2QBF: Challenges and Solutions (Q2818033): Difference between revisions

@@ Property / author @@
+Robert K. Brayton
@@ Property / author: Robert K. Brayton / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+sKizzo
@@ Property / describes a project that uses: sKizzo / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+DepQBF
@@ Property / describes a project that uses: DepQBF / 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 @@
+QuBE++
@@ Property / describes a project that uses: QuBE++ / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Bloqqer
@@ Property / describes a project that uses: Bloqqer / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+QUBE
@@ Property / describes a project that uses: QUBE / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+QESTO
@@ Property / describes a project that uses: QESTO / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+RAReQS
@@ Property / describes a project that uses: RAReQS / 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-319-40970-2_28
+Normal rank
@@ Property / OpenAlex ID @@
+W2489897814
@@ Property / OpenAlex ID: W2489897814 / rank @@
+Normal rank