权威例句
Definite clause grammars for language analysis—A survey of the formalism and a comparison with augmented transition networks
EFFICIENT ALGORITHMS FOR CLAUSE-LEARNING SAT SOLVERS
Disjunctive Interpolants for Horn-Clause Verification
Disjunctive Interpolants for Horn-Clause Verification (Extended Technical Report)
Disjunctive Interpolants for Horn-Clause Verification
An optimality result for clause form translation ☆
Boosting trees for clause splitting
System for interactive clause window construction of SQL queries
A restriction of extended resolution for clause learning sat solvers
A Search Technique for Clause Interconnectivity Graphs
