Theory and Application of Satisfiability Testing -- SAT

Event name
Theory and Application of Satisfiability Testing -- SAT
 
Event type
Event for scientific audience
 
Start date
12-05-2008
End date
15-05-2008
 
Location
Guangzhou
Country
 
Event format Veranstaltungsformat
On Site

Publications Publikationen



Filter:
Author:  Fichte, Johannes K.

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

PreviewAuthor(s)TitleTypeIssue Date
1Fichte, Johannes K. ; Meier, Arne ; Schindler, Irina Strong Backdoors for Default LogicKonferenzbeitrag Inproceedings 2016