Old techniques in new ways: Clause weighting, unit propagation and hybridization for maximum satisfiability

&
Artificial Intelligence 287 (C):103354 (2020)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.artint.2020.103354

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,907

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

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.
Clause vivification by unit propagation in CDCL SAT solvers.Chu-Min Li, Fan Xiao, Mao Luo, Felip Manyà, Zhipeng Lü & Yu Li - 2020 - Artificial Intelligence 279 (C):103197.
Unit weighting schemes for decision making.Hillel J. Einhorn & Robin M. Hogarth - 1975 - Organizational Behavior and Human Performance 13 (2):171-192.
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.
MAX-SAT Problem using Hybrid Harmony Search Algorithm.Iyad Abu Doush, Amal Lutfi Quran, Mohammed Azmi Al-Betar & Mohammed A. Awadallah - 2018 - Journal of Intelligent Systems 27 (4):643-658.
Hypergraph Satisfiability.R. Cowen - 1991 - Reports on Mathematical Logic.
Variation, differential reproduction and oscillation: the evolution of nucleic acid hybridization.Edna Suárez-Díaz - 2012 - History and Philosophy of the Life Sciences 35 (1):39-44.
MaxSolver: An efficient exact algorithm for (weighted) maximum satisfiability.Zhao Xing & Weixiong Zhang - 2005 - Artificial Intelligence 164 (1-2):47-80.
Combinatorial Analytic Tableaux.Robert Cowen - 1993 - Reports on Mathematical Logic:29-39.
Cost-optimal constrained correlation clustering via weighted partial Maximum Satisfiability.Jeremias Berg & Matti Järvisalo - 2017 - Artificial Intelligence 244 (C):110-142.
Weighting models and weighting factors.Gottfried Vosgerau & Matthis Synofzik - 2012 - Consciousness and Cognition 21 (1):55-58.
The clause as a locus of grammar and interaction.Elizabeth Couper-Kuhlen & Sandra A. Thompson - 2005 - Discourse Studies 7 (4-5):481-505.
Two notions of compactness in Gödel logics.Petr Cintula - 2005 - Studia Logica 81 (1):99-123.
Products, or how to create modal logics of high complexity.M. Marx & S. Mikulás - 2001 - Logic Journal of the IGPL 9 (1):71-82.
Error Propagation in the Elicitation of Utility and Probability Weighting Functions.Pavlo Blavatskyy - 2006 - Theory and Decision 60 (2-3):315-334.

Analytics

Added to PP
2020-12-22

Downloads
8 (#1,339,958)

6 months
4 (#855,130)

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.

Add more references