Book serie: / Книги серии: DIMACS 35 » Online Library TheLib.net

Online Library TheLib.net » Book serie: / Книги серии: DIMACS 35

book Satisfiability problem: theory and applications

Satisfiability problem: theory and applications

djvu

Author: Jun Gu Panos M. Pardalos Jun Gu Panos M. Pardalos NSF Science and Technology Center in Discrete Mathematics and Theoretical Computer Science
Language: English
Year: 1997

00

26.01.2024

0

0