International Conference on the Theory and Applications of Satisfiability Testing

Event name
International Conference on the Theory and Applications of Satisfiability Testing
 
Event type
Event for scientific audience
 
Start date
17-06-2012
End date
20-06-2012
 
Location
Trento, Italien
Trento, Italien
Country
Europe
 
Event format Veranstaltungsformat
On Site

Publications Publikationen



Filter:
Subject:  Resolution

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

PreviewAuthor(s)TitleTypeIssue Date
1Egly, Uwe On Sequent Systems and Resolution for QBFsKonferenzbeitrag Inproceedings 2012