10times
Conference

International Conference on Theory and Applications of Satisfiability Testing


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

Participants

100 - 500
Delegates

10 - 50 Exhibitors Estimated Count

Category & Type

Conference
Science & Research

Editions

07-12 Jul 2019


Frequency Not Available

Official Links

Website Contacts


Report Error
Claim this event

Organizer

Logo Send Stall Book Request

University Of Lisbon Portugal

51 events listed

User Community [ Users who have shown interest for this Event ]

STANLEY ARINZECHUKWU IHECHE

STANLEY ARINZECHUKWU IHECHE

Entrepreneur at LEXXON GROUP OF COMPANIES

Abuja, Nigeria
Hoon Ko

Hoon Ko

Research Professor at Chosun University

Gwangju-si, South Korea
Abba koroma

Abba koroma

Buisness at Ambers glam boutique

Banjul, The Gambia

Write a Review

Add Your Review
38.737411 -9.154713

Venue Map & Directions

map of Calouste Gulbenkian Foundation

Calouste Gulbenkian Foundation

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

Get Directions

Featured Hotels in Lisbon

More Hotels