✦ LIBER ✦

[IEEE 2008 Design, Automation and Test in Europe - Munich, Germany (2008.03.10-2008.03.14)] 2008 Design, Automation and Test in Europe - Algorithms for Maximum Satisfiability using Unsatisfiable Cores

✍ Scribed by Marques-Silva, Joao; Planes, Jordi

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2008 Design, Automation and Test i

✍ Wille, Robert; Le, Hoang M.; Dueck, Gerhard W.; GroBe, Daniel 📂 Article 📅 2008 🏛 IEEE ⚖ 406 KB

[IEEE 2008 Design, Automation and Test i

✍ Bai, Lan S.; Lekatsas, Haris; Dick, Robert P. 📂 Article 📅 2008 🏛 IEEE ⚖ 271 KB

[IEEE 2008 Design, Automation and Test i

✍ Eles, Petru; Izosimov, Viacheslav; Pop, Paul; Peng, Zebo 📂 Article 📅 2008 🏛 IEEE ⚖ 386 KB

[IEEE 2008 Design, Automation and Test i

✍ Liu, Bao 📂 Article 📅 2008 🏛 IEEE ⚖ 226 KB

[IEEE 2008 Design, Automation and Test i

✍ Li, Yanjing; Makar, Samy; Mitra, Subhasish 📂 Article 📅 2008 🏛 IEEE ⚖ 375 KB

[IEEE 2008 Design, Automation and Test i

✍ Ness, Drew C.; Lilja, David J. 📂 Article 📅 2008 🏛 IEEE ⚖ 265 KB