10times
Add a review
07 - 12 Jul 2019

International Conference on Theory and Applications of Satisfiability Testing

Conference
Calouste Gulbenkian Foundation, Lisbon, PortugalGet Directions
SelectSelectSaveShare
AboutExhibitorsSpeakersReviewsDeals

Average post reach is 81352 users. Start networking today!

profile_pic

Post

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.

Average post reach is 81352 users. Start networking today!

profile_pic

Post

Timings

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

Entry Fees

Check Official Website

Estimated Turnout

100 - 500
Delegates
Based on previous editions

Event Type

Conference

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

Portugal206 Total Events
EditionJul 2019

How did you participate in this event?

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


Add Profile

Invite users with similar interest

View More

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
Selected