10times
Conference

International Conference on Theory and Applications of Satisfiability Testing

07 - 12 Jul 2019 New Date Reminder
Calouste Gulbenkian Foundation, Lisbon, PortugalGet Directions
AboutFollowers 3ExhibitorsSpeakersReviewsTravel 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.


Timings

09:00 AM-06:00 PM (expected)
Not Verified

Entry Fees

Check Official Website

Estimated Turnout

100 - 500
Delegates
Based on previous editions

Category & Type

Conference
Science & Research

Editions

Jul 2019


Frequency Not Available

Official Links

WebsiteContacts


Report Error
Claim this event

Organizer

Logo

Queries about the event? Ask Organizer

University Of Lisbon

Portugal98 Total Events

Followers [ Users who have shown interest for this Event ] Join Community Invite


Add Profile

Write a Review

Add Your Review
38.737411-9.154713

Venue Map & Directions

map of Calouste Gulbenkian Foundation

Av. de Berna 45 A, 1067-001 Lisboa
Lisbon, Portugal

Get Directions

Featured Hotels in Lisbon

More Hotels
10times_gold_banner