An Algorithm for the SAT Problem for Formulae of Linear Length. / Wahlström, Magnus.

ESA. 2005. p. 107-118.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Published

Standard

An Algorithm for the SAT Problem for Formulae of Linear Length. / Wahlström, Magnus.

ESA. 2005. p. 107-118.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Harvard

APA

Vancouver

Author

BibTeX

@inproceedings{ea082523bac64c2baee0deca96a14db2,
title = "An Algorithm for the SAT Problem for Formulae of Linear Length",
author = "Magnus Wahlstr{\"o}m",
note = "Part of my PhD thesis.",
year = "2005",
language = "English",
pages = "107--118",
booktitle = "ESA",

}

RIS

TY - GEN

T1 - An Algorithm for the SAT Problem for Formulae of Linear Length

AU - Wahlström, Magnus

N1 - Part of my PhD thesis.

PY - 2005

Y1 - 2005

M3 - Conference contribution

SP - 107

EP - 118

BT - ESA

ER -