KnowledgeCompilationThelanguageURC-Cisbutonespecickindofknowledgecomp - PPT Presentation
listhecomplementaryliteralofliterallsothat
xxand
xxForaliteralldifferentfromaBooleanconstantvarldenotesthecorrespondingvariableforx2PSwehavevarxxandvarxxAclauserespater ID: 346824
listhecomplementaryliteralofliterall