Report copyright - Understanding the Hardness of Proving Formulas in ...people.csail.mit.edu/jakobn/research/TalkBanff1110.pdf · 2. x∨y 3. y ∨z 4. z Rules: Infer new formulas only from formulas
Please pass captcha verification before submit form
Please pass captcha verification before submit form