✦ LIBER ✦

[IEEE 2011 Design, Automation & Test in Europe - Grenoble (2011.03.14-2011.03.18)] 2011 Design, Automation & Test in Europe - A reconfigurable, pipelined, conflict directed jumping search SAT solver

✍ Scribed by Safar, M; El-Kharashi, M W; Shalan, M; Salem, A

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2011 Design, Automation & Test in

✍ Thapliyal, H; Ranganathan, N 📂 Article 📅 2011 🏛 IEEE ⚖ 132 KB

[IEEE 2011 Design, Automation & Test in

✍ Schenkelaars, T; Vermeulen, B; Goossens, K 📂 Article 📅 2011 🏛 IEEE ⚖ 200 KB

[IEEE 2011 Design, Automation & Test in

✍ Pomeranz, I 📂 Article 📅 2011 🏛 IEEE ⚖ 77 KB

[IEEE 2011 Design, Automation & Test in

✍ Tuck-Boon Chan, ; Sartori, J; Gupta, P; Kumar, R 📂 Article 📅 2011 🏛 IEEE ⚖ 323 KB

[IEEE 2011 Design, Automation & Test in

✍ Kamal, M; Afzali-Kusha, Ali; Pedram, M 📂 Article 📅 2011 🏛 IEEE ⚖ 172 KB

[IEEE 2011 Design, Automation & Test in

✍ Chakraborty, K; Roy, S 📂 Article 📅 2011 🏛 IEEE ⚖ 215 KB