Author books / Книги автора Armin Biere Carla P. Gomes » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Armin Biere Carla P. Gomes

book Theory and Applications of Satisfiability Testing - SAT 2006: 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings

Theory and Applications of Satisfiability Testing - SAT 2006: 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings

pdf

Author: Armin Biere Carla P. Gomes
Language: English
Year: 2006

00

29.01.2024

0

0

book Theory and Applications of Satisfiability Testing - SAT 2006: 9th International Conference, Seattle, WA, USA, August 12-15, 2006. Proceedings

Theory and Applications of Satisfiability Testing - SAT 2006: 9th International Conference, Seattle, WA, USA, August 12-15, 2006. Proceedings

pdf

Author: Hossein M. Sheini Karem A. Sakallah (auth.) Armin Biere Carla P. Gomes (eds.)
Language: English
Year: 2006

00

27.01.2024

0

0