Book serie: / Книги серии: Dimacs Series in Discrete Mathematics and Theoretical Computer Science 35 » Online Library TheLib.net

Online Library TheLib.net » Book serie: / Книги серии: Dimacs Series in Discrete Mathematics and Theoretical Computer Science 35

book Satisfiability Problem: Theory and Applications

Satisfiability Problem: Theory and Applications

djvu

Author: Du Dingzhu, Gu Jun, Pardalos Panos M., Staff NSF Science and Technology Center in Discrete Mathematics and Theoretical Computer Science (eds.)
Language: English
Year: 1997

00

29.01.2024

0

0