✦ LIBER ✦

On the Relative Complexity of Resolution Refinements and Cutting Planes Proof Systems

✍ Scribed by Bonet, Maria Luisa; Esteban, Juan Luis; Galesi, Nicola; Johannsen, Jan

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On the complexity of cutting-plane proof

✍ W. Cook; C.R. Coullard; Gy. Turán 📂 Article 📅 1987 🏛 Elsevier Science 🌐 English ⚖ 881 KB

The relative complexity of resolution an

✍ Alasdair Urquhart 📂 Article 📅 1992 🏛 Springer Netherlands 🌐 English ⚖ 726 KB

On the automatizability of resolution an

✍ Albert Atserias; Marı́a Luisa Bonet 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 251 KB

[IEEE 2009 IEEE International Symposium

✍ Vo, An; Oraintara, Soontorn 📂 Article 📅 2009 🏛 IEEE ⚖ 714 KB

Improving ozone modeling in complex terr

✍ Yunhee Kim; Joshua S. Fu; Terry L. Miller 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 447 KB

[IEEE IMTC/99. 16th IEEE Instrumentation

✍ Lan, F.; Akyel, C.; Ghannouchi, F.M.; Gauthier, J.; Khouaja, S. 📂 Article 📅 1999 🏛 IEEE 🌐 English ⚖ 432 KB