Satisfiability problem
theory and applications : DIMACS workshop, March 11-13, 1996
Gespeichert in:
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: