𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE 2009 21st IEEE International Conference on Tools with Artificial Intelligence (ICTAI) - Newark, New Jersey, USA (2009.11.2-2009.11.4)] 2009 21st IEEE International Conference on Tools with Artificial Intelligence - Toward Easy Parallel SAT Solving

✍ Scribed by Dequen, Gilles; Vander-Swalmen, Pascal; Krajecki, Michaël

Book ID: 126754774
Publisher: IEEE
Year: 2009
Weight: 249 KB
Category: Article
ISBN: 1424456193
DOI: 10.1109/ICTAI.2009.63

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2009 21st IEEE International Confe

[IEEE 2009 21st IEEE International Conference on Tools with Artificial Intelligence (ICTAI) - Newark, New Jersey, USA (2009.11.2-2009.11.4)] 2009 21st IEEE International Conference on Tools with Artificial Intelligence - Learning in Local Search

✍ Audemard, Gilles; Lagniez, Jean-Marie; Mazure, Bertrand; Saïs, Lakhdar 📂 Article 📅 2009 🏛 IEEE ⚖ 291 KB

[IEEE 2009 21st IEEE International Confe

[IEEE 2009 21st IEEE International Conference on Tools with Artificial Intelligence (ICTAI) - Newark, New Jersey, USA (2009.11.2-2009.11.4)] 2009 21st IEEE International Conference on Tools with Artificial Intelligence - Towards Diverse Relaxations of Over-Constrained Models

✍ Horan, John; O'Sullivan, Barry 📂 Article 📅 2009 🏛 IEEE ⚖ 398 KB

[IEEE 2009 21st IEEE International Confe

[IEEE 2009 21st IEEE International Conference on Tools with Artificial Intelligence (ICTAI) - Newark, New Jersey, USA (2009.11.2-2009.11.4)] 2009 21st IEEE International Conference on Tools with Artificial Intelligence - Learning for Dynamic Assignments Reordering

✍ Jabbour, Saïd 📂 Article 📅 2009 🏛 IEEE ⚖ 345 KB

[IEEE 2009 21st IEEE International Confe

[IEEE 2009 21st IEEE International Conference on Tools with Artificial Intelligence (ICTAI) - Newark, New Jersey, USA (2009.11.2-2009.11.4)] 2009 21st IEEE International Conference on Tools with Artificial Intelligence - Learning Constrained Edit State Machines

✍ Boyer, Laurent; Gandrillon, Olivier; Habrard, Amaury; Pellerin, Mathilde; Sebban 📂 Article 📅 2009 🏛 IEEE ⚖ 359 KB

[IEEE 2009 21st IEEE International Confe

[IEEE 2009 21st IEEE International Conference on Tools with Artificial Intelligence (ICTAI) - Newark, New Jersey, USA (2009.11.2-2009.11.4)] 2009 21st IEEE International Conference on Tools with Artificial Intelligence - Approximate Repeating Pattern Mining with Gap Requirements

✍ He, Dan; Zhu, Xingquan; Wu, Xindong 📂 Article 📅 2009 🏛 IEEE ⚖ 257 KB

[IEEE 2009 21st IEEE International Confe

[IEEE 2009 21st IEEE International Conference on Tools with Artificial Intelligence (ICTAI) - Newark, New Jersey, USA (2009.11.2-2009.11.4)] 2009 21st IEEE International Conference on Tools with Artificial Intelligence - Classification with Uncertain Observations Using Possibilistic Networks

✍ Benferhat, Salem; Tabia, Karim 📂 Article 📅 2009 🏛 IEEE ⚖ 379 KB