Theory and Applications of Satisfiability Testing - SAT 2018

Theory and Applications of Satisfiability Testing - SAT 2018

21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings

Beyersdorff, Olaf; Wintersteiger, Christoph M.

Springer International Publishing AG

06/2018

452

Mole

Inglês

9783319941431

15 a 20 dias

718

Descrição não disponível.
Índice não disponível.
artificial intelligence;competition;computer architecture;computer programming;formal logic;formal verification;graph theory;model checking;probability;problem solving;programming languages;sat solvers;satisfiability;semantics;software engineering;software evaluation;theorem proving;verification;data structures