Theory and Applications of Satisfiability Testing - SAT 2018
-15%
portes grátis
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.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
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
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
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