Speeding up MUS Extraction with Preprocessing and Chunking (Q3453206): Difference between revisions

@@ Property / describes a project that uses @@
+MUSer2
@@ Property / describes a project that uses: MUSer2 / 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-24318-4_3
+Normal rank
@@ Property / OpenAlex ID @@
+W2227210622
@@ Property / OpenAlex ID: W2227210622 / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithms for computing minimal unsatisfiable subsets of constraints
+Normal rank
@@ Property / cites work @@
+Formula Preprocessing in MUS Extraction
@@ Property / cites work: Formula Preprocessing in MUS Extraction / rank @@
+Normal rank
@@ Property / cites work @@
+SAT-Based Preprocessing for MaxSAT
@@ Property / cites work: SAT-Based Preprocessing for MaxSAT / rank @@
+Normal rank
@@ Property / cites work @@
+Q3194802
@@ Property / cites work: Q3194802 / rank @@
+Normal rank
@@ Property / cites work @@
+Theory and Applications of Satisfiability Testing
@@ Property / cites work: Theory and Applications of Satisfiability Testing / rank @@
+Normal rank
@@ Property / cites work @@
+Faster Extraction of High-Level Minimal Unsatisfiable Cores
+Normal rank
@@ Property / cites work @@
+Factoring Out Assumptions to Speed Up MUS Extraction
+Normal rank
@@ Property / cites work @@
+MUS Extraction Using Clausal Proofs
@@ Property / cites work: MUS Extraction Using Clausal Proofs / rank @@
+Normal rank
@@ Property / cites work @@
+On Improving MUS Extraction Algorithms
@@ Property / cites work: On Improving MUS Extraction Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+A Scalable Algorithm for Minimal Unsatisfiable Core Extraction
+Normal rank
@@ Property / cites work @@
+On Efficient Computation of Variable MUSes
@@ Property / cites work: On Efficient Computation of Variable MUSes / rank @@
+Normal rank