Solving QBF with Counterexample Guided Refinement (Q2843327): Difference between revisions

@@ Property / author @@
+João P. Marques-Silva
@@ Property / author: João P. Marques-Silva / rank @@
+Normal rank
@@ Property / author @@
+Edmund M. Clarke
@@ Property / author: Edmund M. Clarke / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+RAReQS
@@ Property / describes a project that uses: RAReQS / 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 @@
+CEGAR
@@ Property / describes a project that uses: CEGAR / 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 / describes a project that uses @@
+QUBOS
@@ Property / describes a project that uses: QUBOS / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+DepQBF
@@ Property / describes a project that uses: DepQBF / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1503377936
@@ Property / OpenAlex ID: W1503377936 / rank @@
+Normal rank