10times
Conference

International Conference on Theory and Applications of Satisfiability Testing


  • About
  • Reviews

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

upto 100 DelegatesEstimated 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