Details
| Original language | English |
|---|---|
| Pages (from-to) | 1-19 |
| Number of pages | 19 |
| Journal | Inf. Comput. |
| Volume | 186 |
| Issue number | 1 |
| Publication status | Published - 2003 |
Cite this
- Standard
- Harvard
- Apa
- Vancouver
- BibTeX
- RIS
Optimal satisfiability for propositional calculi and constraint satisfaction problems. / Reith, Steffen; Vollmer, Heribert.
In: Inf. Comput., Vol. 186, No. 1, 2003, p. 1-19.
In: Inf. Comput., Vol. 186, No. 1, 2003, p. 1-19.
Research output: Contribution to journal › Article › Research › peer review
Reith, S & Vollmer, H 2003, 'Optimal satisfiability for propositional calculi and constraint satisfaction problems', Inf. Comput., vol. 186, no. 1, pp. 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 -