Explicit Versus Symbolic Algorithms for Solving ALFP Constraints

Piotr Filipiuk, Hanne Riis Nielson, Flemming Nielson

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Original language	English
Title of host publication	Electronic Notes in Theoretical Computer Science
Volume	267
Pages	15-28
DOIs	https://doi.org/10.1016/j.entcs.2010.09.015
Publication status	E-pub ahead of print - 2010
Event	Tools for Automatic Program AnalysiS - Palais des Congrès, Perpignan, France Duration: 17 Sept 2010 → 17 Sept 2010

Conference	Tools for Automatic Program AnalysiS
Location	Palais des Congrès
Country/Territory	France
City	Perpignan
Period	17/09/2010 → 17/09/2010

Access to Document

@inproceedings{75af8e1231cc460685f73ff1d65c273d,

title = "Explicit Versus Symbolic Algorithms for Solving ALFP Constraints",

author = "Piotr Filipiuk and Nielson, \{Hanne Riis\} and Flemming Nielson",

year = "2010",

doi = "10.1016/j.entcs.2010.09.015",

language = "English",

volume = "267",

pages = "15--28",

booktitle = "Electronic Notes in Theoretical Computer Science",

note = "Tools for Automatic Program AnalysiS, TAPAS 2010 ; Conference date: 17-09-2010 Through 17-09-2010",

}

TY - GEN

T1 - Explicit Versus Symbolic Algorithms for Solving ALFP Constraints

AU - Filipiuk, Piotr

AU - Nielson, Hanne Riis

AU - Nielson, Flemming

PY - 2010

Y1 - 2010

U2 - 10.1016/j.entcs.2010.09.015

DO - 10.1016/j.entcs.2010.09.015

M3 - Article in proceedings

VL - 267

SP - 15

EP - 28

BT - Electronic Notes in Theoretical Computer Science

T2 - Tools for Automatic Program AnalysiS

Y2 - 17 September 2010 through 17 September 2010

ER -