Optimal speedup of Las Vegas algorithms
Information Processing Letters
Improvements to propositional satisfiability search algorithms
Improvements to propositional satisfiability search algorithms
Chaff: engineering an efficient SAT solver
Proceedings of the 38th annual Design Automation Conference
Extending and implementing the stable model semantics
Artificial Intelligence
Knowledge Representation, Reasoning, and Declarative Problem Solving
Knowledge Representation, Reasoning, and Declarative Problem Solving
BerkMin: A Fast and Robust Sat-Solver
Proceedings of the conference on Design, automation and test in Europe
The DLV system for knowledge representation and reasoning
ACM Transactions on Computational Logic (TOCL)
Conflict-driven answer set solving
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
The effect of restarts on the efficiency of clause learning
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Enhancing a DLP System for Advanced Database Applications
RR '08 Proceedings of the 2nd International Conference on Web Reasoning and Rule Systems
Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-There
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Detecting Inconsistencies in Large Biological Networks with Answer Set Programming
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
A Logic Programming Approach to Home Monitoring for Risk Prevention in Assisted Living
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Automata and Answer Set Programming
LFCS '09 Proceedings of the 2009 International Symposium on Logical Foundations of Computer Science
Justifications for logic programs under answer set semantics
Theory and Practice of Logic Programming
Probabilistic reasoning with answer sets
Theory and Practice of Logic Programming
Achieving compositionality of the stable model semantics for smodels programs1
Theory and Practice of Logic Programming
Encoding the Revision of Partially Preordered Information in Answer Set Programming
ECSQARU '09 Proceedings of the 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Answer Set Programming with Constraints Using Lazy Grounding
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
Computing Stable Models via Reductions to Difference Logic
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
A General Approach to the Verification of Cryptographic Protocols Using Answer Set Programming
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
The Conflict-Driven Answer Set Solver clasp: Progress Report
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Logic programs with abstract constraint atoms: The role of computations
Artificial Intelligence
GASP: Answer Set Programming with Lazy Grounding
Fundamenta Informaticae - Advances in Computational Logic (CIL C08)
Support for context-aware monitoring in home healthcare
Journal of Ambient Intelligence and Smart Environments
ICLP'07 Proceedings of the 23rd international conference on Logic programming
Advanced techniques for answer set programming
ICLP'07 Proceedings of the 23rd international conference on Logic programming
Integrating inductive definitions in SAT
LPAR'07 Proceedings of the 14th international conference on Logic for programming, artificial intelligence and reasoning
Faster phylogenetic inference with MXG
LPAR'07 Proceedings of the 14th international conference on Logic for programming, artificial intelligence and reasoning
SAT(ID): satisfiability of propositional logic extended with inductive definitions
SAT'08 Proceedings of the 11th international conference on Theory and applications of satisfiability testing
A translational approach to constraint answer set solving
Theory and Practice of Logic Programming
Hybrid reasoning with non-monotonic rules
ReasoningWeb'10 Proceedings of the 6th international conference on Semantic technologies for software engineering
Extending Removed Sets Revision to partially preordered belief bases
International Journal of Approximate Reasoning
Combinatorial Optimization Solutions for the Maximum Quartet Consistency Problem
Fundamenta Informaticae - RCRA 2008 Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion
Enhancing a smart space with answer set programming
RuleML'10 Proceedings of the 2010 international conference on Semantic web rules
Modelling gene and protein regulatory networks with Answer Set Programming
International Journal of Data Mining and Bioinformatics
Potassco: The Potsdam Answer Set Solving Collection
AI Communications - Answer Set Programming
Learning and using domain-specific heuristics in ASP solvers
AI Communications - Answer Set Programming
Theory and Practice of Logic Programming
Reasoning support for risk prediction and prevention in independent living
Theory and Practice of Logic Programming
Effectively reasoning about infinite sets in answer set programming
Logic programming, knowledge representation, and nonmonotonic reasoning
Perspectives on logic-based approaches for reasoning about actions and change
Logic programming, knowledge representation, and nonmonotonic reasoning
Symmetry breaking for distributed multi-context systems
LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
Underwater archaeological 3D surveys validation within the removed sets framework
ECSQARU'11 Proceedings of the 11th European conference on Symbolic and quantitative approaches to reasoning with uncertainty
Programming mental state abduction
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Application of answer set programming for public health data integration and analysis
ARES'11 Proceedings of the IFIP WG 8.4/8.9 international cross domain conference on Availability, reliability and security for business, enterprise and health information systems
Boolean lexicographic optimization: algorithms & applications
Annals of Mathematics and Artificial Intelligence
Knowledge-based multi-criteria optimization to support indoor positioning
Annals of Mathematics and Artificial Intelligence
Analyzing pathways using ASP-based approaches
ANB'10 Proceedings of the 4th international conference on Algebraic and Numeric Biology
Toward consistency checking of natural language temporal requirements
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Conflict-driven answer set solving: From theory to practice
Artificial Intelligence
Look-back Techniques for ASP Programs with Aggregates
Fundamenta Informaticae
GASP: Answer Set Programming with Lazy Grounding
Fundamenta Informaticae - Advances in Computational Logic (CIL C08)
Goal-directed execution of answer set programs
Proceedings of the 14th symposium on Principles and practice of declarative programming
Reasoning about conditional constraint specification problems and feature models
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Proceedings of the 2013 international conference on Autonomous agents and multi-agent systems
Constraint Propagation for First-Order Logic and Inductive Definitions
ACM Transactions on Computational Logic (TOCL)
Boolean satisfiability for sequence mining
Proceedings of the 22nd ACM international conference on Conference on information & knowledge management
A SAT approach to clique-width
SAT'13 Proceedings of the 16th international conference on Theory and Applications of Satisfiability Testing
ASP-based optimized mapping in a simulink-to-MPSoC design flow
Journal of Systems Architecture: the EUROMICRO Journal
| Hi-index | 0.00 |
We describe the conflict-driven answer set solver clasp, which is based on concepts from constraint processing (CSP) and satisfiability checking (SAT). We detail its system architecture and major features, and provide a systematic empirical evaluation of its features.