Unsatisfiable Core Analysis and Aggregates for Optimum Stable Model Search

Related Items (1)

Witnesses for Answer Sets of Logic Programs

Uses Software

MiniSat
Cmodels
clasp
WASP
LMHS
maxino
DLV2

Cites Work

Unnamed Item
Unnamed Item
Unnamed Item
Unnamed Item
Semantics and complexity of recursive aggregates in answer set programming
Answer set programming based on propositional satisfiability
On the relation among answer set solvers
Answer set programming and plan generation
Conflict-driven answer set solving: from theory to practice
Logic programs with stable model semantics as a constraint programming paradigm
Evaluation of disjunctive programs in WASP
Web reasoning and rule systems. 9th international conference, RR 2015, Berlin, Germany, August 4--5, 2015. Proceedings
The design of the Seventh Answer Set Programming Competition
The ASP system DLV2
LMHS: A SAT-IP Hybrid MaxSAT Solver
The Complexity Boundary of Answer Set Programming with Generalized Atoms under the FLP Semantics
Normalizing Cardinality Rules Using Merging and Sorting Constructions
Team-building with answer set programming in the Gioia-Tauro seaport
Improving the Normalization of Weight Rules in Answer Set Programs
Logic programs with propositional connectives and aggregates
Cores in Core Based MaxSat Algorithms: An Analysis
Optimum stable model search: algorithms and implementation
Well-founded and stable semantics of logic programs with aggregates
A Constructive semantic characterization of aggregates in answer set programming
Advances in WASP
Answer Set Programming Modulo Acyclicity
Progress in clasp Series 3
Combining Heuristics for Configuration Problems Using Answer Set Programming
Solving SAT and SAT Modulo Theories
Towards More Effective Unsatisfiability-Based Maximum Satisfiability Algorithms
Solving (Weighted) Partial MaxSAT through Satisfiability Testing
Algorithms for Weighted Boolean Optimization
Shared aggregate sets in answer set programming
Evaluating Answer Set Programming with Non-Convex Recursive Aggregates
Rewriting recursive aggregates in answer set programming: back to monotonicity
Optimizing phylogenetic supertrees using answer set programming
Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems withIDP3
Anytime answer set optimization via unsatisfiable core shrinking
Weight constraints as nested expressions
Theory and Applications of Satisfiability Testing
Unsatisfiability-based optimization in clasp
Logic Programming and Nonmonotonic Reasoning
On Solving the Partial MAX-SAT Problem

This page was built for publication: Unsatisfiable Core Analysis and Aggregates for Optimum Stable Model Search