About | Followers 3 | Exhibitors | Speakers | Reviews | Travel Deals |
The International Conference on Theory and Applications of Satisfiability Testing (SAT) is the premier annual meeting for researchers focusing on the theory and applications of the propositional satisfiability problem, broadly construed. In addition to plain propositional satisfiability, it also includes Boolean optimization (such as MaxSAT and Pseudo-Boolean (PB) constraints), Quantified Boolean Formulas (QBF), Satisfiability Modulo Theories (SMT), and Constraint Programming (CP) for problems with clear connections to Boolean-level reasoning.
Timings09:00 AM-06:00 PM (expected)Not Verified | Entry FeesCheck Official Website |
Estimated Turnout100 - 500 Delegates Based on previous editions | Category & TypeConferenceScience & Research |
EditionsJul 2019Frequency Not Available | Official LinksWebsiteContactsReport Error Claim this event |
Organizer![]() Queries about the event?
Ask Organizer
|
Followers [ Users who have shown interest for this Event ] Join Community Invite
Add Profile
Write a Review
Add Your ReviewVenue Map & Directions

Av. de Berna 45 A, 1067-001 Lisboa
Lisbon,
Portugal
Featured Hotels in Lisbon
![]() | Lagoas Park Hotel from EUR 99 |
![]() | Solplay Hotel de Apartamentos from EUR 160.14 |
![]() | My Rainbow Rooms Gay Men's Gues.. from EUR 48 |
![]() | Casa Oliver Boutique B&B - Prin.. from EUR 126 |