TY - GEN
T1 - Weighted-sequence problem
T2 - 14th International Symposium on Practical Aspects of Declarative Languages, PADL 2012
AU - Lierler, Yuliya
AU - Smith, Shaden
AU - Truszczynski, Miroslaw
AU - Westlund, Alex
N1 - Copyright:
Copyright 2012 Elsevier B.V., All rights reserved.
PY - 2012
Y1 - 2012
N2 - Search problems with large variable domains pose a challenge to current answer-set programming (ASP) systems as large variable domains make grounding take a long time, and lead to large ground theories that may make solving infeasible. To circumvent the "grounding bottleneck" researchers proposed to integrate constraint solving techniques with ASP in an approach called constraint ASP (CASP). In the paper, we evaluate an ASP system clingo and a CASP system clingcon on a handcrafted problem involving large integer domains that is patterned after the database task of determining the optimal join order. We find that search methods used by clingo are superior to those used by clingcon, yet the latter system, not hampered by grounding, scales up better. The paper provides evidence that gains in solver technology can be obtained by further research on integrating ASP and CSP technologies.
AB - Search problems with large variable domains pose a challenge to current answer-set programming (ASP) systems as large variable domains make grounding take a long time, and lead to large ground theories that may make solving infeasible. To circumvent the "grounding bottleneck" researchers proposed to integrate constraint solving techniques with ASP in an approach called constraint ASP (CASP). In the paper, we evaluate an ASP system clingo and a CASP system clingcon on a handcrafted problem involving large integer domains that is patterned after the database task of determining the optimal join order. We find that search methods used by clingo are superior to those used by clingcon, yet the latter system, not hampered by grounding, scales up better. The paper provides evidence that gains in solver technology can be obtained by further research on integrating ASP and CSP technologies.
UR - http://www.scopus.com/inward/record.url?scp=84863168042&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84863168042&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-27694-1_6
DO - 10.1007/978-3-642-27694-1_6
M3 - Conference contribution
AN - SCOPUS:84863168042
SN - 9783642276934
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 63
EP - 77
BT - Practical Aspects of Declarative Languages - 14th International Symposium, PADL 2012, Proceedings
Y2 - 23 January 2012 through 24 January 2012
ER -