Yifan He

how to build dcaqe?

2

I tried to build dcaqe by running "cargo build --release" from the root directory, but it seems like the only executable binary I can get in ./target/release/ is caqe, there's...

Hi, I'm working on an encoding that requires me to 1) find the satisfiability of a QBF, 2) find the assignment of the outermost existential block when the formula is...

The strength of clasp on normal logic program

3

I'm trying to use clasp to solve some normal logic programs and it seems like clasp (clingo version 5.7.1) is (much) slower than converting the normal logic program to SAT...