On Local Versus Global Satisfiability

Gespeichert in:

Bibliographische Detailangaben

Zeitschriftentitel:	SIAM Journal on Discrete Mathematics
Personen und Körperschaften:	Trevisan, Luca
In:	SIAM Journal on Discrete Mathematics, 17, 2004, 4, S. 541-547
Format:	E-Article
Sprache:	Englisch
veröffentlicht:	Society for Industrial & Applied Mathematics (SIAM)
Schlagwörter:	General Mathematics