22st International Conference on Theory and Applications of Satisfiability Testing CFP

Країна: Португалія

Місто: Lisbon

Тези до: 01.03.2019

Дати: 07.07.19 — 12.07.19

Область наук: Технічні;

Е-мейл Оргкомітету: daniel@satlive.org

Організатори: SAT


SAT 2019 welcomes scientific contributions addressing different aspects of the satisfiability problem, interpreted in a broad sense. Domains include MaxSAT and Pseudo-Boolean (PB) constraints, Quantified Boolean Formulae (QBF), Satisfiability Modulo Theories (SMT), as well as Constraint Satisfaction Problems (CSP). Topics include, but are not restricted to:

  • Theoretical advances (including algorithms, proof complexity, parameterized complexity, and other complexity issues);
  • Practical search algorithms;
  • Knowledge compilation;
  • Implementation-level details of SAT solving tools and SAT-based systems;
  • Problem encodings and reformulations;
  • Applications (including both novel applications domains and improvements to existing approaches);
  • Case studies and reports on insightful findings based on rigorous experimentation.

Веб-сторінка конференції: http://sat2019.tecnico.ulisboa.pt/

Конференції по темі - із близькими дедлайнами:

2019 2nd International Conference on Big Data Technologies (ICBDT 2019)Тези приймаються до 25.06.19, Jinan

2019 6th Intl. Conference on Soft Computing & Machine Intelligence (ISCMI 2019)Тези приймаються до 30.06.19, Johannesburg