Clause redundancy and preprocessing in maximum satisfiability (Q2104499): Difference between revisions

@@ Property / describes a project that uses @@
+MaxPre
@@ Property / describes a project that uses: MaxPre / 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-031-10769-6_6
+Normal rank
@@ Property / OpenAlex ID @@
+W4289104008
@@ Property / OpenAlex ID: W4289104008 / rank @@
+Normal rank
@@ Property / cites work @@
+SAT-based MaxSAT algorithms
@@ Property / cites work: SAT-based MaxSAT algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+A flexible proof format for SAT solver-elaborator communication
+Normal rank
@@ Property / cites work @@
+SAT-Based Preprocessing for MaxSAT
@@ Property / cites work: SAT-Based Preprocessing for MaxSAT / rank @@
+Normal rank
@@ Property / cites work @@
+Core-boosted linear search for incomplete MaxSAT
@@ Property / cites work: Core-boosted linear search for incomplete MaxSAT / rank @@
+Normal rank
@@ Property / cites work @@
+Unifying reasoning and core-guided search for maximum satisfiability
+Normal rank
@@ Property / cites work @@
+Subsumed Label Elimination for Maximum Satisfiability
+Normal rank
@@ Property / cites work @@
+Progress in Artificial Intelligence
@@ Property / cites work: Progress in Artificial Intelligence / rank @@
+Normal rank
@@ Property / cites work @@
+Q5148371
@@ Property / cites work: Q5148371 / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient certified RAT verification
@@ Property / cites work: Efficient certified RAT verification / rank @@
+Normal rank
@@ Property / cites work @@
+Exploiting the Power of mip Solvers in maxsat
@@ Property / cites work: Exploiting the Power of mip Solvers in maxsat / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient, verified checking of propositional proofs
+Normal rank
@@ Property / cites work @@
+Clause Elimination for SAT and QSAT
@@ Property / cites work: Clause Elimination for SAT and QSAT / rank @@
+Normal rank
@@ Property / cites work @@
+Short proofs without new variables
@@ Property / cites work: Short proofs without new variables / rank @@
+Normal rank
@@ Property / cites work @@
+Strong extension-free proof systems
@@ Property / cites work: Strong extension-free proof systems / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of measurement in diagnosis from first principles
+Normal rank
@@ Property / cites work @@
+RC2: an Efficient MaxSAT Solver
@@ Property / cites work: RC2: an Efficient MaxSAT Solver / rank @@
+Normal rank
@@ Property / cites work @@
+Simulating circuit-level simplifications on CNF
@@ Property / cites work: Simulating circuit-level simplifications on CNF / rank @@
+Normal rank
@@ Property / cites work @@
+Inprocessing Rules
@@ Property / cites work: Inprocessing Rules / rank @@
+Normal rank
@@ Property / cites work @@
+Simulating strong practical proof systems with extended resolution
+Normal rank
@@ Property / cites work @@
+Super-Blocked Clauses
@@ Property / cites work: Super-Blocked Clauses / rank @@
+Normal rank
@@ Property / cites work @@
+Q4553279
@@ Property / cites work: Q4553279 / rank @@
+Normal rank
@@ Property / cites work @@
+Iterative and core-guided maxsat solving: a survey and assessment
+Normal rank
@@ Property / cites work @@
+On preprocessing for weighted MaxSAT
@@ Property / cites work: On preprocessing for weighted MaxSAT / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic polynomial watchdog encoding for solving weighted MaxSAT
+Normal rank
@@ Property / cites work @@
+Mycielski graphs and PR proofs
@@ Property / cites work: Mycielski graphs and PR proofs / rank @@
+Normal rank