Satisfiability problem theory and application ; DIMACS Workshop, March, 11 - 13, 1966 ; [in celebration of 25 years of research on the satisfiability problem (1971 - 1996)]

Gespeichert in:

Bibliographische Detailangaben
Körperschaften:	Center for Discrete Mathematics and Theoretical Computer Science (BerichterstatterIn), American Mathematical Society (BerichterstatterIn), Workshop on The Satisfiability Problem: Theory and Applications (BerichterstatterIn), Special Year on Logic and Algorithms (BerichterstatterIn)
Weitere Verfasser:	Du, Dingzhu (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Providence, R.I American Mathematical Society 1997
Schriftenreihe:	DIMACS series in discrete mathematics and theoretical computer science 35
Schlagworte:	Mathematics > Konferenzschrift > Erfüllbarkeitsproblem
Online Zugang:	Inhaltstext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!