The 29th International Conference on Theory and Applications of Satisfiability Testing (SAT 2026)

View Statistics Email Alert RSS Feed

Description

Event name
The 29th International Conference on Theory and Applications of Satisfiability Testing (SAT 2026)
 
Start date
20-07-2026
End date
23-07-2026
 
Location
Lisbon
Country
Portugal
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Coutelier, Robin ; Hader, Thomas ; Kovacs, Laura Generalizing CDCL with Graph BacktrackingInproceedings Konferenzbeitrag 2026