Theory and Applications of Satisfiability Testing - SAT 2021
portes grátis
Theory and Applications of Satisfiability Testing - SAT 2021
24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings
Manya, Felip; Li, Chu-Min
Springer Nature Switzerland AG
07/2021
564
Mole
Inglês
9783030802226
15 a 20 dias
872
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.
architecting;architecture verification and validation;artificial intelligence;boolean functions;computer programming;computer science;computer systems;decision theory;embedded systems;formal logic;internet;mathematics;matrix algebra;model checking;sat;SAT solvers;satisfiability;software architecture;software design;software engineering
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
architecting;architecture verification and validation;artificial intelligence;boolean functions;computer programming;computer science;computer systems;decision theory;embedded systems;formal logic;internet;mathematics;matrix algebra;model checking;sat;SAT solvers;satisfiability;software architecture;software design;software engineering
