The Succinct Solver Suite

Flemming Nielson; Hanne Riis Nielson; Hongyan Sun; Mikael Buchholtz; René Rydhof Hansen; Henrik Pilegaard; Helmut Seidl

The Succinct Solver Suite

Flemming Nielson, Hanne Riis Nielson, Hongyan Sun, Mikael Buchholtz, René Rydhof Hansen, Henrik Pilegaard, Helmut Seidl

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

Original language	English
Title of host publication	Proc. TACAS'04
Publisher	Springer Verlag
Publication date	2004
Pages	251-265
Publication status	Published - 2004
Event	TACAS'04 - Duration: 1 Jan 2004 → …

Conference

Conference	TACAS'04
Period	01/01/2004 → …

OpenUrl availability

Full text

Cite this

@inproceedings{66aa2dd6772d4282a6ec138cffb1cedd,

title = "The Succinct Solver Suite",

author = "Flemming Nielson and Nielson, {Hanne Riis} and Hongyan Sun and Mikael Buchholtz and Hansen, {Ren{\'e} Rydhof} and Henrik Pilegaard and Helmut Seidl",

year = "2004",

language = "English",

pages = "251--265",

booktitle = "Proc. TACAS'04",

publisher = "Springer Verlag",

address = "Germany",

note = "TACAS'04 ; Conference date: 01-01-2004",

}