scientific article; zbMATH DE number 7455719
From MaRDI portal
Publication:5020979
Publication date: 11 January 2022
Full work available at URL: https://arxiv.org/abs/2009.10248
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Uses Software
Cites Work
- Relating constraint answer set programming languages and algorithms
- Learning discrete decomposable graphical models via constraint optimization
- Semantics and complexity of recursive aggregates in answer set programming
- On the complexity of cutting-plane proofs
- ASSAT: computing answer sets of a logic program by SAT solvers
- Answer set programming based on propositional satisfiability
- Extending and implementing the stable model semantics
- Using combinatorial benchmarks to probe the reasoning power of pseudo-Boolean solvers
- In between resolution and cutting planes: a study of proof systems for pseudo-Boolean SAT solving
- Symmetric explanation learning: effective dynamic symmetry handling for SAT
- Conflict-driven answer set solving: from theory to practice
- Propositional semantics for disjunctive logic programs
- Logic programs with stable model semantics as a constraint programming paradigm
- Evaluation of disjunctive programs in WASP
- \textsc{lp2normal} -- a normalization tool for extended logic programs
- Inferring phylogenetic trees using answer set programming
- Improved Static Symmetry Breaking for SAT
- Applying Visible Strong Equivalence in Answer-Set Program Transformations
- Vicious Circle Principle and Logic Programs with Aggregates
- Compact Translations of Non-disjunctive Answer Set Programs to Propositional Clauses
- Detecting inconsistencies in large biological networks with answer set programming
- Well-founded and stable semantics of logic programs with aggregates
- Integrating ASP into ROS for Reasoning in Robots
- Lazy Clause Generation: Combining the Power of SAT and CP (and MIP?) Solving
- Computing Stable Models via Reductions to Difference Logic
- GRASP: a search algorithm for propositional satisfiability
- Clingo goes linear constraints over reals and integers
- Optimizing phylogenetic supertrees using answer set programming
- Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems withIDP3
- Clingcon: The next generation
- The Seventh Answer Set Programming Competition: Design and Results
- ASP-Core-2 Input Language Format
- The DLV system for knowledge representation and reasoning
- Erratum to splitting an operator
- Head-Elementary-Set-Free Logic Programs
- Logic programs with monotone abstract constraint atoms
- Logic Programming and Nonmonotonic Reasoning
- Level Mapping Induced Loop Formulas for Weight Constraint and Aggregate Logic Programs
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
