The Succinct Solver Suite



TypeConference paper [With referee]
ConferenceProc. TACAS'04
EditorsKurt Jensen, Andreas Podelski
Year2004    Vol. 2988    pp. 251-265
PublisherSpringer-Verlag
SeriesLecture Notes in Computer Science
BibTeX data [bibtex]
IMM Group(s)Computer Science & Engineering