Author

Keeran Dhakal

0 works0 citations

Recent research

AI & ComputingOpen access
EZSMT Version 3, Matured
Abstract Constraint Answer Set Programming (CASP) is a hybrid reasoning paradigm that combines Answer Set Programming (ASP) with Constraint Processing and Satisfiability Modulo Theories (SMT), enabling powerful declarative encodings of complex combinatorial search problems. This...
Theory and Practice of Logic Programming2026-09-300 citationsDOI