Search for dissertations about: "CDCL"

Found 1 swedish dissertation containing the word CDCL.

2. 1. Space in Proof Complexity

   Author : Marc Vinyals; Jakob Nordström; Yehudayoff Amir; KTH; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; proof complexity; resolution; polynomial calculus; cutting planes; space complexity; computational complexity; pebble games; communication complexity; CDCL; Computer Science; Datalogi;

   Abstract : ropositional proof complexity is the study of the resources that are needed to prove formulas in propositional logic. In this thesis we are concerned with the size and space of proofs, and in particular with the latter.Different approaches to reasoning are captured by corresponding proof systems. READ MORE