Eintrag weiter verarbeiten
On Local Versus Global Satisfiability
Gespeichert in:
Zeitschriftentitel: | SIAM Journal on Discrete Mathematics |
---|---|
Personen und Körperschaften: | |
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: |
Umfang: | 541-547 |
---|---|
ISSN: |
0895-4801
1095-7146 |
DOI: | 10.1137/s0895480197326528 |