Du D., Gu J., Pardalos P. M., editors — Satisfiability Problem: Theory and Applications (DIMACS series in discrete mathematics and theoretical computer science, vol.35)
Обсудите книгу на
Нашли опечатку? Выделите ее мышкой и нажмите Ctrl+Enter
Название: Satisfiability Problem: Theory and Applications (DIMACS series in discrete mathematics and theoretical computer science, vol.35)