Cost-optimal constrained correlation clustering via weighted partial maximum satisfiability
From MaRDI portal
Publication:511772
DOI10.1016/j.artint.2015.07.001zbMath1404.68138OpenAlexW1440788545MaRDI QIDQ511772
Matti Järvisalo, Jeremias Berg
Publication date: 22 February 2017
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/10138/185079
Boolean satisfiabilitymaximum satisfiabilitycorrelation clusteringconstrained clusteringBoolean optimizationcost-optimal clustering
Classification and discrimination; cluster analysis (statistical aspects) (62H30) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)
Related Items
Machine learning meets mathematical optimization to predict the optimal production of offshore wind parks, Metric-Constrained Optimization for Graph Clustering Algorithms
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- SAT-based MaxSAT algorithms
- Itemset mining: a constraint programming perspective
- An improved column generation algorithm for minimum sum-of-squares clustering
- Correlation clustering
- On the approximation of correlation clustering and consensus clustering
- NP-hard problems in hierarchical-tree clustering
- A fast branch-and-bound algorithm for non-convex quadratic integer optimization subject to linear constraints using ellipsoidal relaxations
- Cluster graph modification problems
- Iterative and core-guided maxsat solving: a survey and assessment
- Correlation clustering in general weighted graphs
- Clustering with qualitative information
- Improvements to Core-Guided Binary Search for MaxSAT
- SAT-Based Preprocessing for MaxSAT
- Efficient CNF Simplification Based on Binary Implication Graphs
- Open-WBO: A Modular MaxSAT Solver,
- Towards Robust CNF Encodings of Cardinality Constraints
- Towards an Optimal CNF Encoding of Boolean Cardinality Constraints
- Blocked Clause Elimination
- Exploiting Cycle Structures in Max-SAT
- Algorithms for Weighted Boolean Optimization
- Improved approximation algorithms for maximum cut and satisfiability problems using semidefinite programming
- Using SeDuMi 1.02, A Matlab toolbox for optimization over symmetric cones
- Reconstructing Solutions after Blocked Clause Elimination
- Clause Elimination Procedures for CNF Formulas
- Data Integration in the Life Sciences
- Formula Preprocessing in MUS Extraction
- Exploiting the Power of mip Solvers in maxsat
- Constraint Integer Programming: A New Approach to Integrate CP and MIP
- A Parametric Approach for Smaller and Better Encodings of Cardinality Constraints
- Constrained Clustering Using Column Generation
- Theory and Applications of Satisfiability Testing
- On Solving the Partial MAX-SAT Problem
- Algorithms and Computation
- Approximation, Randomization, and Combinatorial Optimization.. Algorithms and Techniques
- Aggregating inconsistent information
