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
 
Event type
Event for scientific audience
 
Start date
15-12-2010
End date
18-12-2010
 
Location
Chennai
Country
India
 
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