IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science

Event name
IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science
 
Start date
15-12-2010
End date
18-12-2010
 
Location
Chennai, India
Country
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

Results 1-1 of 1 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Ordyniak, Sebastian ; Paulusma, Daniel ; Szeider, Stefan Satisfiability of Acyclic and Almost Acyclic CNF FormulasKonferenzbeitrag Inproceedings 2010