SMT-Based Constraint Answer Set Solver EZSMT+ for Non-Tight Programs.

Da Shen, Yuliya Lierler

Browse the full KR paper archive.