Publication | Closed Access

Extracting information from resolution proof trees

EngineeringData ScienceAutomated ReasoningProof ComplexityVerificationKnowledge DiscoveryFormal MethodsAutomated ProofResolution Proof TreesComputer ScienceProof SystemFormal Verification