Algorithms for Solving Satisfiability Problems with Qualitative Preferences (Q2900530): Difference between revisions

@@ Property / describes a project that uses @@
+MiniSat
@@ Property / describes a project that uses: MiniSat / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PBS
@@ Property / describes a project that uses: PBS / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CP-nets
@@ Property / describes a project that uses: CP-nets / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-30743-0_22
+Normal rank
@@ Property / OpenAlex ID @@
+W120175844
@@ Property / OpenAlex ID: W120175844 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5715666
@@ Property / cites work: Q5715666 / rank @@
+Normal rank
@@ Property / cites work @@
+Preferred answer sets for extended logic programs
@@ Property / cites work: Preferred answer sets for extended logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Computing Weighted Solutions in Answer Set Programming
+Normal rank
@@ Property / cites work @@
+A machine program for theorem-proving
@@ Property / cites work: A machine program for theorem-proving / rank @@
+Normal rank
@@ Property / cites work @@
+A Computing Procedure for Quantification Theory
@@ Property / cites work: A Computing Procedure for Quantification Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Expressing preferences in default logic
@@ Property / cites work: Expressing preferences in default logic / rank @@
+Normal rank
@@ Property / cites work @@
+Solving satisfiability problems with preferences
@@ Property / cites work: Solving satisfiability problems with preferences / rank @@
+Normal rank
@@ Property / cites work @@
+Theory and Applications of Satisfiability Testing
@@ Property / cites work: Theory and Applications of Satisfiability Testing / rank @@
+Normal rank
@@ Property / cites work @@
+Theory and Applications of Satisfiability Testing
@@ Property / cites work: Theory and Applications of Satisfiability Testing / rank @@
+Normal rank
@@ Property / cites work @@
+Computing preferred answer sets by meta-interpretation in Answer Set Programming
+Normal rank
@@ Property / cites work @@
+Q4475693
@@ Property / cites work: Q4475693 / rank @@
+Normal rank
@@ Property / cites work @@
+Multi-Criteria Optimization in Answer Set Programming
+Normal rank
@@ Property / cites work @@
+Complex optimization in answer set programming
@@ Property / cites work: Complex optimization in answer set programming / rank @@
+Normal rank
@@ Property / cites work @@
+Conflict-Driven Answer Set Enumeration
@@ Property / cites work: Conflict-Driven Answer Set Enumeration / rank @@
+Normal rank
@@ Property / cites work @@
+Q3983043
@@ Property / cites work: Q3983043 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2703800
@@ Property / cites work: Q2703800 / rank @@
+Normal rank
@@ Property / cites work @@
+SAT-based decision procedures for classical modal logics
+Normal rank
@@ Property / cites work @@
+optsat: A Tool for Solving SAT Related Optimization Problems
+Normal rank
@@ Property / cites work @@
+Principles and Practice of Constraint Programming – CP 2003
+Normal rank
@@ Property / cites work @@
+Theory and Applications of Satisfiability Testing
@@ Property / cites work: Theory and Applications of Satisfiability Testing / rank @@
+Normal rank
@@ Property / cites work @@
+Unrestricted vs restricted cut in a tableau method for Boolean circuits
+Normal rank
@@ Property / cites work @@
+Limitations of restricted branching in clause learning
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+The DLV system for knowledge representation and reasoning
+Normal rank
@@ Property / cites work @@
+Algorithms for Weighted Boolean Optimization
@@ Property / cites work: Algorithms for Weighted Boolean Optimization / rank @@
+Normal rank
@@ Property / cites work @@
+Q4804900
@@ Property / cites work: Q4804900 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3396552
@@ Property / cites work: Q3396552 / rank @@
+Normal rank
@@ Property / cites work @@
+Preferred answer sets for ordered logic programs
@@ Property / cites work: Preferred answer sets for ordered logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Max-ASP: Maximum Satisfiability of Answer Set Programs
+Normal rank
@@ Property / cites work @@
+A structure-preserving clause form translation
@@ Property / cites work: A structure-preserving clause form translation / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Aggregates in Answer Set Optimization
@@ Property / cites work: Aggregates in Answer Set Optimization / rank @@
+Normal rank
@@ Property / cites work @@
+Q3682462
@@ Property / cites work: Q3682462 / rank @@
+Normal rank
@@ Property / cites work @@
+Extending and implementing the stable model semantics
+Normal rank
@@ Property / cites work @@
+A linear-time transformation of linear inequalities into conjunctive normal form
+Normal rank