Unsatisfiability-based optimization in clasp
From MaRDI portal
Recommendations
- Max-ASP: Maximum Satisfiability of Answer Set Programs
- Multi-criteria optimization in answer set programming
- Optimum stable model search: algorithms and implementation
- Unsatisfiable core analysis and aggregates for optimum stable model search
- Anytime answer set optimization via unsatisfiable core shrinking
Cited in
(36)- RC2: an efficient MaxSAT solver
- Boosting Answer Set Optimization with Weighted Comparator Networks
- \textit{teaspoon}: solving the curriculum-based course timetabling problems with answer set programming
- Model enumeration in propositional circumscription via unsatisfiable core analysis
- Progress in clasp series 3
- A proof builder for Max-SAT
- Best-effort inductive logic programming via fine-grained cost-based hypothesis generation. The Inspire system at the inductive logic programming competition
- Abstraction for non-ground answer set programs
- Advances in WASP
- Paracoherent answer set computation
- Comparison of SAT-based and ASP-based algorithms for inconsistency measurement
- Constraint answer set programming: integrational and translational (or SMT-based) approaches
- Anytime answer set optimization via unsatisfiable core shrinking
- Writing declarative specifications for clauses
- Omission-based abstraction for answer set programs
- Multi-shot ASP solving with clingo
- Iterative and core-guided maxsat solving: a survey and assessment
- An abstract view on optimizations in SAT and ASP
- Multi-criteria optimization in answer set programming
- Efficiently explaining CSPs with unsatisfiable subset optimization
- Train scheduling with hybrid answer set programming
- Certified Core-Guided MaxSAT Solving
- Unsatisfiable core analysis and aggregates for optimum stable model search
- Engineering and evaluating multi-objective pseudo-Boolean optimizers
- An Experimental Evaluation of Fast Approximation Algorithms for the Maximum Satisfiability Problem
- Backdoors to tractable answer set programming
- On using incremental encodings in unsatisfiability-based MaxSAT solving
- An abstract view on optimizations in propositional frameworks
- Meta-interpretive learning: application to grammatical inference
- Adaptive large-neighbourhood search for optimisation in answer-set programming
- Max-ASP: Maximum Satisfiability of Answer Set Programs
- WPM3: an (in)complete algorithm for weighted partial MaxSAT
- \textit{clingcon}: the next generation
- Shared aggregate sets in answer set programming
- aspeed: solver scheduling via answer set programming
- Exploiting subproblem optimization in SAT-based maxsat algorithms
This page was built for publication: Unsatisfiability-based optimization in clasp
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5398060)
