Theory and Applications of Satisfiability Testing – SAT 2021, 1st ed. 2021 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings Theoretical Computer Science and General Issues Series
Coordonnateurs : Li Chu-Min, Manyà Felip
The 37 full papers presented in this volume were carefully reviewed and selected from 73 submissions. They deal with theory and applications of the propositional satisfiability problem, broadly construed. Aside from plain propositional satisfiability, the scope of the meeting includes Boolean optimization, including 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 reasoning.
Date de parution : 07-2021
Ouvrage de 564 p.
15.5x23.5 cm
Thèmes de Theory and Applications of Satisfiability Testing –... :
Mots-clés :
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