A Model for Phase Transition of Random Answer-Set Programs.

Published in: ACM Trans. Comput. Log. (2016)

Keyphrases