Details
| Originalsprache | Englisch |
|---|---|
| Seiten (von - bis) | 1-19 |
| Seitenumfang | 19 |
| Fachzeitschrift | Inf. Comput. |
| Jahrgang | 186 |
| Ausgabenummer | 1 |
| Publikationsstatus | Veröffentlicht - 2003 |
Zitieren
- Standard
- Harvard
- Apa
- Vancouver
- BibTex
- RIS
Optimal satisfiability for propositional calculi and constraint satisfaction problems. / Reith, Steffen; Vollmer, Heribert.
in: Inf. Comput., Jahrgang 186, Nr. 1, 2003, S. 1-19.
in: Inf. Comput., Jahrgang 186, Nr. 1, 2003, S. 1-19.
Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review
Reith, S & Vollmer, H 2003, 'Optimal satisfiability for propositional calculi and constraint satisfaction problems', Inf. Comput., Jg. 186, Nr. 1, S. 1-19. https://doi.org/10.1016/S0890-5401(03)00092-0
Reith S, Vollmer H. Optimal satisfiability for propositional calculi and constraint satisfaction problems. Inf. Comput. 2003;186(1):1-19. doi: 10.1016/S0890-5401(03)00092-0
Download
@article{5c2e1a35ad844f33b0c612fc55a6c1b5,
title = "Optimal satisfiability for propositional calculi and constraint satisfaction problems",
author = "Steffen Reith and Heribert Vollmer",
year = "2003",
doi = "10.1016/S0890-5401(03)00092-0",
language = "English",
volume = "186",
pages = "1--19",
journal = "Inf. Comput.",
issn = "1090-2651",
publisher = "Elsevier Inc.",
number = "1",
}
Download
TY - JOUR
T1 - Optimal satisfiability for propositional calculi and constraint satisfaction problems
AU - Reith, Steffen
AU - Vollmer, Heribert
PY - 2003
Y1 - 2003
U2 - 10.1016/S0890-5401(03)00092-0
DO - 10.1016/S0890-5401(03)00092-0
M3 - Article
VL - 186
SP - 1
EP - 19
JO - Inf. Comput.
JF - Inf. Comput.
SN - 1090-2651
IS - 1
ER -