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: 93,031

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 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.
Propositional proof systems based on maximum satisfiability.Maria Luisa Bonet, Sam Buss, Alexey Ignatiev, Antonio Morgado & Joao Marques-Silva - 2021 - Artificial Intelligence 300 (C):103552.
MaxSolver: An efficient exact algorithm for (weighted) maximum satisfiability.Zhao Xing & Weixiong Zhang - 2005 - Artificial Intelligence 164 (1-2):47-80.
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.
Cost-optimal constrained correlation clustering via weighted partial Maximum Satisfiability.Jeremias Berg & Matti Järvisalo - 2017 - Artificial Intelligence 244 (C):110-142.
Constraint propagation techniques for the disjunctive scheduling problem.Ulrich Dorndorf, Erwin Pesch & Toàn Phan-Huy - 2000 - Artificial Intelligence 122 (1-2):189-240.
Therapeutic Conversational Artificial Intelligence and the Acquisition of Self-understanding.J. P. Grodniewicz & Mateusz Hohol - 2023 - American Journal of Bioethics 23 (5):59-61.
Artificial intelligence and automatic programming in CAI.Elliot B. Koffman & Sumner-E. Blount - 1975 - Artificial Intelligence 6 (3):215-234.
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.
The satisfiability constraint gap.Ian P. Gent & Toby Walsh - 1996 - Artificial Intelligence 81 (1-2):59-80.

Analytics

Added to PP
2020-12-22

Downloads
8 (#1,343,911)

6 months
4 (#863,607)

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