Author books / Книги автора Hans Kleine Büning Xishun Zhao » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Hans Kleine Büning Xishun Zhao

book Theory and Applications of Satisfiability Testing – SAT 2008: 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings

Theory and Applications of Satisfiability Testing – SAT 2008: 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings

pdf

Author: Hans Kleine Büning Xishun Zhao
Language: English
Year: 2008

00

29.01.2024

0

0

book Theory and Applications of Satisfiability Testing – SAT 2008: 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings

Theory and Applications of Satisfiability Testing – SAT 2008: 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings

pdf

Author: Josep Argelich Alba Cabiscol Inês Lynce (auth.) Hans Kleine Büning Xishun Zhao (eds.)
Language: English
Year: 2008

00

27.01.2024

0

0