Online Library TheLib.net » Author books / Книги автора Josep Argelich Felip Manyà (auth.) Fahiem Bacchus Toby Walsh (eds.)
book Theory and Applications of Satisfiability Testing: 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedings
Theory and Applications of Satisfiability Testing: 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedings
pdf
00
27.01.2024
0
0
Read online
book Theory and Applications of Satisfiability Testing: 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedings
Theory and Applications of Satisfiability Testing: 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedings
pdf
00
27.01.2024
0
0
Read online