 |
Theory and Applications of Satisfiability Testing – SAT 2021: 24th International Conference, Barcelona, Spain, July 5–9, 2021, Proceedings [Lecture Notes in Computer Science - 12831.0] by Li, Chu-Min & Manyà, Felip11 mar, 2022 Tags=[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] DOI=[10.1007/978-3-030-80223-3] Formats=[EPUB,PDF] ISBN=[9783030802233] ISSN=[1611-3349] OCLC=[1259439469] Year=[2021] Words=[219,602]
|