Clausal abstraction for DQBF (Q2181947): Difference between revisions

@@ Property / describes a project that uses @@
+BoSy
@@ Property / describes a project that uses: BoSy / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CAQE
@@ Property / describes a project that uses: CAQE / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+HQSpre
@@ Property / describes a project that uses: HQSpre / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2947743331
@@ Property / OpenAlex ID: W2947743331 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.08759
@@ Property / arXiv ID: 1808.08759 / rank @@
+Normal rank