Format:
XV, 724 S.
,
graph. Darst.
ISBN:
0821804790
Series Statement:
DIMACS series in discrete mathematics and theoretical computer science 35
Note:
Literaturangaben
Additional Edition:
Online-Ausg. Satisfiability problem Providence, R.I. : American Mathematical Society, 1997 ISBN 9781470439934
Language:
English
Keywords:
Erfüllbarkeitsproblem
;
Erfüllbarkeitsproblem
;
Konferenzschrift
;
Konferenzschrift
Author information:
Du, Dingzhu 1948-