Main Event
Education
, Lisbon, Portugal
2026-07-20 - 2026-07-23
sat2026@ac.tuwien.ac.at
Event Insights : Gain more knowledge on 29th Edition of International Conference on Theory and Applications of Satisfiability Testing - for publication and research. The 29th Edition of International Conference on Theory and Applications of Satisfiability Testing (SAT 2026) will take place on 20-23 July at the University Institute of Lisbon (ISCTE), Portugal.