- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Optimizing with minimum satisfiability
Artificial Intelligence 190 (C):32-44 (2012)
Abstract
This article has no associated abstract. (fix it)
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.
Reversed Resolution in Reducing General Satisfiability Problem.Adam Kolany - 2010 - Studia Logica 95 (3):407-416.
On the computational complexity of the numerically definite syllogistic and related logics.Ian Pratt-Hartmann - 2008 - Bulletin of Symbolic Logic 14 (1):1-28.
Two variable first-order logic over ordered domains.Martin Otto - 2001 - Journal of Symbolic Logic 66 (2):685-702.
Is Evolution An Optimizing Process?James H. Fetzer - 2010 - In Ellery Eells & James H. Fetzer (eds.), The Place of Probability in Science. Springer. pp. 163--177.
Two Variable First-Order Logic Over Ordered Domains.Martin Otto - 2001 - Journal of Symbolic Logic 66 (2):685-702.
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.
Theory and application of satisfiability testing - SAT 2011: 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011: proceedings.Karem A. Sakallah & Laurent Simon (eds.) - 2011 - New York: Springer.
PDL with intersection and converse: satisfiability and infinite-state model checking.Stefan Göller, Markus Lohrey & Carsten Lutz - 2009 - Journal of Symbolic Logic 74 (1):279-314.
The decision problem for restricted universal quantification in set theory and the axiom of foundation.Franco Parlamento & Alberto Policriti - 1992 - Mathematical Logic Quarterly 38 (1):143-156.
The guarded fragment with transitive guards.Wiesław Szwast & Lidia Tendera - 2004 - Annals of Pure and Applied Logic 128 (1-3):227-276.
Generalized Davis-Putnam and satisfiability problems in mathematics.Robert Cowen - 2010 - Logic Journal of the IGPL 18 (3):456-463.
Analytics
Added to PP
2020-12-22
Downloads
9 (#1,260,789)
6 months
7 (#441,834)
2020-12-22
Downloads
9 (#1,260,789)
6 months
7 (#441,834)
Historical graph of downloads
Citations of this work
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.
A resolution calculus for MinSAT.Chu-Min Li, Fan Xiao & Felip Manyà - 2021 - Logic Journal of the IGPL 29 (1):28-44.
Minimal sets on propositional formulae. Problems and reductions.Joao Marques-Silva, Mikoláš Janota & Carlos Mencía - 2017 - Artificial Intelligence 252 (C):22-50.
New Tableau Characterizations for Non-clausal MaxSAT Problem.Guido Fiorino - 2022 - Logic Journal of the IGPL 30 (3):422-436.
Voting on multi-issue domains with conditionally lexicographic preferences.Jérôme Lang, Jérôme Mengin & Lirong Xia - 2018 - Artificial Intelligence 265 (C):18-44.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-5ff6c685cb-wqqkk uwo