Sarat Chandra Varanasi and Baoluo Meng: Integrating SMT solvers into Goal-Directed Answer Set Programming, Challenges and Directions. (2024)conf/iclp/VaranasiM24Integrating SMT solvers into Goal-Directed Answer Set Programming, Challenges and Directions.2Sarat Chandra Varanasi1Baoluo Meng2ICLP WorkshopsICLP Workshops20242024provenance information for RDF data of dblp record 'conf/iclp/VaranasiM24'2024-10-30T17:01:41+0100