Cost-optimal constrained correlation clustering via weighted partial maximum satisfiability (Q511772): Difference between revisions

@@ Property / DOI @@
-.1016/j.artint.2015.07.001
@@ Property / DOI: 10.1016/j.artint.2015.07.001 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+Open-WBO
@@ Property / describes a project that uses: Open-WBO / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Coprocessor
@@ Property / describes a project that uses: Coprocessor / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SCIP
@@ Property / describes a project that uses: SCIP / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SeDuMi
@@ Property / describes a project that uses: SeDuMi / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MaxHS
@@ Property / describes a project that uses: MaxHS / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MiniSat
@@ Property / describes a project that uses: MiniSat / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+QMaxSAT
@@ Property / describes a project that uses: QMaxSAT / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1440788545
@@ Property / OpenAlex ID: W1440788545 / rank @@
+Normal rank
@@ Property / cites work @@
+Correlation clustering
@@ Property / cites work: Correlation clustering / rank @@
+Normal rank
@@ Property / cites work @@
+Aggregating inconsistent information
@@ Property / cites work: Aggregating inconsistent information / rank @@
+Normal rank
@@ Property / cites work @@
+Clustering with qualitative information
@@ Property / cites work: Clustering with qualitative information / rank @@
+Normal rank
@@ Property / cites work @@
+Cluster graph modification problems
@@ Property / cites work: Cluster graph modification problems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3002775
@@ Property / cites work: Q3002775 / rank @@
+Normal rank
@@ Property / cites work @@
+Correlation clustering in general weighted graphs
@@ Property / cites work: Correlation clustering in general weighted graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithms and Computation
@@ Property / cites work: Algorithms and Computation / rank @@
+Normal rank
@@ Property / cites work @@
+Data Integration in the Life Sciences
@@ Property / cites work: Data Integration in the Life Sciences / rank @@
+Normal rank
@@ Property / cites work @@
+Itemset mining: a constraint programming perspective
+Normal rank
@@ Property / cites work @@
+Q5503674
@@ Property / cites work: Q5503674 / rank @@
+Normal rank
@@ Property / cites work @@
+On the approximation of correlation clustering and consensus clustering
+Normal rank
@@ Property / cites work @@
+NP-hard problems in hierarchical-tree clustering
@@ Property / cites work: NP-hard problems in hierarchical-tree clustering / rank @@
+Normal rank
@@ Property / cites work @@
+Exploiting Cycle Structures in Max-SAT
@@ Property / cites work: Exploiting Cycle Structures in Max-SAT / rank @@
+Normal rank
@@ Property / cites work @@
+Q2786911
@@ Property / cites work: Q2786911 / rank @@
+Normal rank
@@ Property / cites work @@
+Improvements to Core-Guided Binary Search for MaxSAT
+Normal rank
@@ Property / cites work @@
+SAT-based MaxSAT algorithms
@@ Property / cites work: SAT-based MaxSAT algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Iterative and core-guided maxsat solving: a survey and assessment
+Normal rank
@@ Property / cites work @@
+On Solving the Partial MAX-SAT Problem
@@ Property / cites work: On Solving the Partial MAX-SAT Problem / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithms for Weighted Boolean Optimization
@@ Property / cites work: Algorithms for Weighted Boolean Optimization / 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 @@
+Towards Robust CNF Encodings of Cardinality Constraints
+Normal rank
@@ Property / cites work @@
+A Parametric Approach for Smaller and Better Encodings of Cardinality Constraints
+Normal rank
@@ Property / cites work @@
+Towards an Optimal CNF Encoding of Boolean Cardinality Constraints
+Normal rank
@@ Property / cites work @@
+Constraint Integer Programming: A New Approach to Integrate CP and MIP
+Normal rank
@@ Property / cites work @@
+Using SeDuMi 1.02, A Matlab toolbox for optimization over symmetric cones
+Normal rank
@@ Property / cites work @@
+A fast branch-and-bound algorithm for non-convex quadratic integer optimization subject to linear constraints using ellipsoidal relaxations
+Normal rank
@@ Property / cites work @@
+SAT-Based Preprocessing for MaxSAT
@@ Property / cites work: SAT-Based Preprocessing for MaxSAT / rank @@
+Normal rank
@@ Property / cites work @@
+Formula Preprocessing in MUS Extraction
@@ Property / cites work: Formula Preprocessing in MUS Extraction / 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 @@
+Blocked Clause Elimination
@@ Property / cites work: Blocked Clause Elimination / rank @@
+Normal rank
@@ Property / cites work @@
+Clause Elimination Procedures for CNF Formulas
@@ Property / cites work: Clause Elimination Procedures for CNF Formulas / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient CNF Simplification Based on Binary Implication Graphs
+Normal rank
@@ Property / cites work @@
+Reconstructing Solutions after Blocked Clause Elimination
+Normal rank
@@ Property / cites work @@
+Open-WBO: A Modular MaxSAT Solver,
@@ Property / cites work: Open-WBO: A Modular MaxSAT Solver, / rank @@
+Normal rank
@@ Property / cites work @@
+Approximation, Randomization, and Combinatorial Optimization.. Algorithms and Techniques
+Normal rank
@@ Property / cites work @@
+Improved approximation algorithms for maximum cut and satisfiability problems using semidefinite programming
+Normal rank
@@ Property / cites work @@
+Constrained Clustering Using Column Generation
@@ Property / cites work: Constrained Clustering Using Column Generation / rank @@
+Normal rank
@@ Property / cites work @@
+An improved column generation algorithm for minimum sum-of-squares clustering
+Normal rank
@@ Property / DOI @@
+.1016/J.ARTINT.2015.07.001
@@ Property / DOI: 10.1016/J.ARTINT.2015.07.001 / rank @@
+Normal rank