A SAT-based polynomial space algorithm for answer set programming - Sciweavers

46

click to vote

more NMR 2004 ...

reference.kfupm.edu.sa

Tweet