Cost-optimal constrained correlation clustering via weighted partial Maximum Satisfiability

&
Artificial Intelligence 244 (C):110-142 (2017)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.artint.2015.07.001

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

CCEHC: An efficient local search algorithm for weighted partial maximum satisfiability.Chuan Luo, Shaowei Cai, Kaile Su & Wenxuan Huang - 2017 - Artificial Intelligence 243 (C):26-44.
MaxSolver: An efficient exact algorithm for (weighted) maximum satisfiability.Zhao Xing & Weixiong Zhang - 2005 - Artificial Intelligence 164 (1-2):47-80.
Clause tableaux for maximum and minimum satisfiability.Josep Argelich, Chu Min Li, Felip Manyà & Joan Ramon Soler - 2021 - Logic Journal of the IGPL 29 (1):7-27.
Optimal Decision Procedures for Satisfiability in Fragments of Alternating-time Temporal Logics.Valentin Goranko & Steen Vester - 2014 - In Rajeev Goré, Barteld Kooi & Agi Kurucz (eds.), Advances in Modal Logic, Volume 10. College Publications. pp. 234-253.
Weighted o-minimal hybrid systems.Patricia Bouyer, Thomas Brihaye & Fabrice Chevalier - 2010 - Annals of Pure and Applied Logic 161 (3):268-288.
ADOFL: Multi-Kernel-Based Adaptive Directive Operative Fractional Lion Optimisation Algorithm for Data Clustering.Satish Chander, P. Vijaya & Praveen Dhyani - 2018 - Journal of Intelligent Systems 27 (3):317-329.
Data reductions, fixed parameter tractability, and random weighted d-CNF satisfiability.Yong Gao - 2009 - Artificial Intelligence 173 (14):1343-1366.
Hypergraph Satisfiability.R. Cowen - 1991 - Reports on Mathematical Logic.
Correlation, Partial Correlation, and Causation.Frederick S. Ellett Jr & David P. Ericson - 1986 - Synthese 67 (2):157 - 173.
Correlation, partial correlation, and causation.Frederick S. Ellett & David P. Ericson - 1986 - Synthese 67 (2):157-173.
The guarded fragment with transitive guards.Wiesław Szwast & Lidia Tendera - 2004 - Annals of Pure and Applied Logic 128 (1-3):227-276.
Expert Rule versus Majority Rule under Partial Information.Daniel Berend - 1993 - Theory and Decision 35 (2):179.
Hybrid Weighted K-Means Clustering and Artificial Neural Network for an Anomaly-Based Network Intrusion Detection System.Devara Vasumathi & Rafath Samrin - 2018 - Journal of Intelligent Systems 27 (2):135-147.
Finite conformal hypergraph covers and Gaifman cliques in finite structures.Ian Hodkinson & Martin Otto - 2003 - Bulletin of Symbolic Logic 9 (3):387-405.
Cumulative Correlation.J. C. Chapman - 1922 - Journal of Experimental Psychology 5 (4):263.

Analytics

Added to PP
2020-12-22

Downloads
8 (#1,291,989)

6 months
8 (#347,798)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

SAT-based MaxSAT algorithms.Carlos Ansótegui, Maria Luisa Bonet & Jordi Levy - 2013 - Artificial Intelligence 196 (C):77-105.
Itemset mining: A constraint programming perspective.Tias Guns, Siegfried Nijssen & Luc De Raedt - 2011 - Artificial Intelligence 175 (12-13):1951-1983.

Add more references