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
![]() | Cacilhas Guest Apartments from EUR 94 |
![]() | Residencial Mar e Sol from EUR 55 |
![]() | Aldeia dos Capuchos Golf & SPA from EUR 147.25 |
![]() | My Rainbow Rooms Gay Men's Gues.. from EUR 48 |