On QBF Proofs and Preprocessing (Q2870148): Difference between revisions

@@ Property / author @@
-João P. Marques-Silva
@@ Property / author: João P. Marques-Silva / rank @@
-Normal rank
@@ Property / author @@
+João P. Marques-Silva
@@ Property / author: João P. Marques-Silva / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+sQueezeBF
@@ Property / describes a project that uses: sQueezeBF / 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 @@
+Nenofex
@@ Property / describes a project that uses: Nenofex / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W53088276
@@ Property / OpenAlex ID: W53088276 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.2491
@@ Property / arXiv ID: 1310.2491 / rank @@
+Normal rank