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.

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

STANLEY ARINZECHUKWU IHECHE

Entrepreneur at LEXXON GROUP OF COMPANIES

Abuja, Nigeria

Connect

Hoon Ko

Research Professor at Chosun University

Gwangju-si, South Korea

Connect

Abba koroma

Buisness at Ambers glam boutique

Banjul, The Gambia

Connect

Join Community