Satisfiability problem

theory and applications : DIMACS workshop, March 11-13, 1996

Verfasser / Beitragende:
Dingzhu Du, Jun Gu, Panos M. Pardalos, editors
Ort, Verlag, Jahr:
Providence, R.I : American Mathematical Society, 1997
Beschreibung:
1 Online-Ressource
Format:
Buch (Kongress) (online)
Online Zugang:
ID: 54919441X