iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/conf/iclp/VaranasiM24.rdf
Sarat Chandra Varanasi and Baoluo Meng: Integrating SMT solvers into Goal-Directed Answer Set Programming, Challenges and Directions. (2024) conf/iclp/VaranasiM24 Integrating SMT solvers into Goal-Directed Answer Set Programming, Challenges and Directions. 2 Sarat Chandra Varanasi 1 Baoluo Meng 2 ICLP Workshops ICLP Workshops 2024 2024 provenance information for RDF data of dblp record 'conf/iclp/VaranasiM24' 2024-10-30T17:01:41+0100