Solving satisfiability problems with preferences
From MaRDI portal
Publication:606909
DOI10.1007/S10601-010-9095-YzbMATH Open1208.68199OpenAlexW2051475155MaRDI QIDQ606909FDOQ606909
Authors: Emanuele Di Rosa, Enrico Giunchiglia, Marco Maratea 
Publication date: 19 November 2010
Published in: Constraints (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10601-010-9095-y
Recommendations
- Algorithms for Solving Satisfiability Problems with Qualitative Preferences
- Combining approaches for solving satisfiability problems with qualitative preferences
- Preference-Based Problem Solving for Constraint Programming
- Introducing preferences in planning as satisfiability
- Solving disjunctive temporal problems with preferences using maximum satisfiability
- Logic programming with solution preferences
- scientific article; zbMATH DE number 5575002
- A general framework for preferences in answer set programming
- Solving Satisfiability with Less Searching
Cites Work
- Theory and Applications of Satisfiability Testing
- MaxSolver: An efficient exact algorithm for (weighted) maximum satisfiability
- Title not available (Why is that?)
- optsat: A Tool for Solving SAT Related Optimization Problems
- Title not available (Why is that?)
- Minimaxsat: an efficient weighted Max-SAT solver
- A structure-preserving clause form translation
- Algorithms for computing minimal unsatisfiable subsets of constraints
- Theory and Applications of Satisfiability Testing
- Efficient CNF encoding of Boolean cardinality constraints
- Algorithms for Weighted Boolean Optimization
- A machine program for theorem-proving
- Deterministic planning in the fifth international planning competition: PDDL3 and experimental evaluation of the planners
- Title not available (Why is that?)
- A two-phase exact algorithm for MAX-SAT and weighted MAX-SAT problems
- A linear-time transformation of linear inequalities into conjunctive normal form
- New inference rules for Max-SAT
- Title not available (Why is that?)
- Theory and Applications of Satisfiability Testing
- Title not available (Why is that?)
- Prioritized logic programming and its application to commonsense reasoning
- Tools and Algorithms for the Construction and Analysis of Systems
- Logic programming with satisfiability
- Title not available (Why is that?)
- Title not available (Why is that?)
- Solving Max-SAT as weighted CSP
- Preferred answer sets for ordered logic programs
- On using cutting planes in pseudo-Boolean optimization
- Logic Programming
- The complexity of resolution refinements
- Theory and Applications of Satisfiability Testing
- Unrestricted vs restricted cut in a tableau method for Boolean circuits
Cited In (27)
- Solving QBF with counterexample guided refinement
- Computational approaches to finding and measuring inconsistency in arbitrary knowledge bases
- Progress in clasp series 3
- Preference-Based Problem Solving for Constraint Programming
- Boolean lexicographic optimization: algorithms \& applications
- ASP and subset minimality: enumeration, cautious reasoning and MUSes
- optsat: A Tool for Solving SAT Related Optimization Problems
- Paracoherent answer set computation
- Minimal sets on propositional formulae. Problems and reductions
- Abstract Solvers for Computing Cautious Consequences of ASP programs
- Abstraction-based algorithm for 2QBF
- Cautious reasoning in ASP via minimal models and unsatisfiable cores
- A general framework for preferences in answer set programming
- A max-term counting based knowledge inconsistency checking strategy and inconsistency measure calculation of fuzzy knowledge based systems
- Iterative and core-guided maxsat solving: a survey and assessment
- A complexity perspective on entailment of parameterized linear constraints
- Minimal intervention strategies in logical signaling networks with ASP
- Combining approaches for solving satisfiability problems with qualitative preferences
- Enumeration of minimal models and MUSes in WASP
- Analysis of cyclic fault propagation via ASP
- SAT-Based Horn Least Upper Bounds
- On the performance of MaxSAT and MinSAT solvers on 2SAT-MaxOnes
- Mining top-\(k\) motifs with a SAT-based framework
- Manipulation of articulated objects using dual-arm robots via answer set programming
- MCS Extraction with Sublinear Oracle Queries
- Implementing preferences with asprin
- Algorithms for Solving Satisfiability Problems with Qualitative Preferences
Uses Software
This page was built for publication: Solving satisfiability problems with preferences
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q606909)
