On relation between constraint answer set programming and satisfiability modulo theories
Copyright policy )On relation between constraint answer set programming and satisfiability modulo theories
AbstractConstraint answer set programming is a promising research direction that integrates answer set programming with constraint processing. It is often informally related to the field of satisfiability modulo theories. Yet, the exact formal link is obscured as the terminology and concepts used in these two research areas differ. In this paper, we connect these two research areas by uncovering the precise formal relation between them. We believe that this work will boost the cross-fertilization of the theoretical foundations and the existing solving methods in both areas. As a step in this direction, we provide a translation from constraint answer set programs with integer linear constraints to satisfiability modulo linear integer arithmetic that paves the way to utilizing modern satisfiability modulo theories solvers for computing answer sets of constraint answer set programs.
constraint satisfaction processing, FOS: Computer and information sciences, Computer Science - Logic in Computer Science, D.1.6, D.3.2, satisfiability modulo theories, D.1.6; D.3.2; F.4.1, Logic programming, Logic in Computer Science (cs.LO), F.4.1, Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.), constraint answer set programming
constraint satisfaction processing, FOS: Computer and information sciences, Computer Science - Logic in Computer Science, D.1.6, D.3.2, satisfiability modulo theories, D.1.6; D.3.2; F.4.1, Logic programming, Logic in Computer Science (cs.LO), F.4.1, Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.), constraint answer set programming
selected citations These citations are derived from selected sources.This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).3 popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.Average influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).Average impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.Average
Citations provided by BIP!Popularity provided by BIP!