Pages that link to "Item:Q606909"
From MaRDI portal
The following pages link to Solving satisfiability problems with preferences (Q606909):
Displaying 24 items.
- Solving QBF with counterexample guided refinement (Q253964) (← links)
- Boolean lexicographic optimization: algorithms \& applications (Q421451) (← links)
- Computational approaches to finding and measuring inconsistency in arbitrary knowledge bases (Q459042) (← links)
- A complexity perspective on entailment of parameterized linear constraints (Q487646) (← links)
- On the performance of MaxSAT and MinSAT solvers on 2SAT-MaxOnes (Q505972) (← links)
- Mining top-\(k\) motifs with a SAT-based framework (Q511756) (← links)
- A max-term counting based knowledge inconsistency checking strategy and inconsistency measure calculation of fuzzy knowledge based systems (Q1664711) (← links)
- Minimal sets on propositional formulae. Problems and reductions (Q1677431) (← links)
- Paracoherent answer set computation (Q2238696) (← links)
- Iterative and core-guided maxsat solving: a survey and assessment (Q2348540) (← links)
- Enumeration of minimal models and MUSes in WASP (Q2694547) (← links)
- Analysis of cyclic fault propagation via ASP (Q2694609) (← links)
- MCS Extraction with Sublinear Oracle Queries (Q2818026) (← links)
- Algorithms for Solving Satisfiability Problems with Qualitative Preferences (Q2900530) (← links)
- Abstraction-Based Algorithm for 2QBF (Q3007686) (← links)
- Implementing Preferences with asprin (Q3449201) (← links)
- Progress in clasp Series 3 (Q3449220) (← links)
- SAT-Based Horn Least Upper Bounds (Q3453244) (← links)
- Cautious reasoning in ASP via minimal models and unsatisfiable cores (Q4559795) (← links)
- Manipulation of Articulated Objects Using Dual-arm Robots via Answer Set Programming (Q4957224) (← links)
- Abstract Solvers for Computing Cautious Consequences of ASP programs (Q5108499) (← links)
- Minimal intervention strategies in logical signaling networks with ASP (Q5398303) (← links)
- A general framework for preferences in answer set programming (Q6067052) (← links)
- ASP and subset minimality: enumeration, cautious reasoning and MUSes (Q6103676) (← links)
