國立虎尾科技大學 |

Theory and Applications of Satisfiability Testing – SAT 2021 = 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Theory and Applications of Satisfiability Testing – SAT 2021/ edited by Chu-Min Li, Felip Manyà.
其他題名:	24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings /
其他作者:	Li, Chu-Min.
面頁冊數:	XI, 564 p. 95 illus., 70 illus. in color.online resource. :
Contained By:	Springer Nature eBook
標題:	Computers. -
電子資源:	https://doi.org/10.1007/978-3-030-80223-3
ISBN:	9783030802233

Theory and Applications of Satisfiability Testing – SAT 2021 = 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings /
Theory and Applications of Satisfiability Testing – SAT 202124th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings /[electronic resource] :edited by Chu-Min Li, Felip Manyà. - 1st ed. 2021. - XI, 564 p. 95 illus., 70 illus. in color.online resource. - Theoretical Computer Science and General Issues ;12831. - Theoretical Computer Science and General Issues ;9163.

This book constitutes the proceedings of the 24th International Conference on Theory and Applications of Satisfiability Testing, SAT 2021, which took place in Barcelona, Spain, in July 2021. 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.

ISBN: 9783030802233

Standard No.: 10.1007/978-3-030-80223-3doiSubjects--Topical Terms:

565115
Computers.

LC Class. No.: QA75.5-76.95

Dewey Class. No.: 004.0151

Theory and Applications of Satisfiability Testing – SAT 2021 = 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings /
LDR:02250nam a22004215i 4500 001 1046642
003 DE-He213
005 20210826150234.0
007 cr nn 008mamaa
008 220103s2021 sz | s |||| 0|eng d
020 $a 9783030802233 $9 978-3-030-80223-3
024 7 $a 10.1007/978-3-030-80223-3 $2 doi
035 $a 978-3-030-80223-3
050 4 $a QA75.5-76.95
050 4 $a QA76.63
072 7 $a UY $2 bicssc
072 7 $a COM014000 $2 bisacsh
072 7 $a UY $2 thema
072 7 $a UYA $2 thema
082 0 4 $a 004.0151 $2 23
245 1 0 $a Theory and Applications of Satisfiability Testing – SAT 2021 $h [electronic resource] : $b 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings / $c edited by Chu-Min Li, Felip Manyà.
250 $a 1st ed. 2021.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2021.
300 $a XI, 564 p. 95 illus., 70 illus. in color. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
490 1 $a Theoretical Computer Science and General Issues ; $v 12831
520 $a This book constitutes the proceedings of the 24th International Conference on Theory and Applications of Satisfiability Testing, SAT 2021, which took place in Barcelona, Spain, in July 2021. 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.
650 0 $a Computers. $3 565115
650 0 $a Architecture, Computer. $3 1255731
650 0 $a Artificial intelligence. $3 559380
650 0 $a Computer logic. $3 786340
650 0 $a Microprogramming . $3 1257366
650 0 $a Special purpose computers. $3 1204562
650 0 $a Software engineering. $3 562952
650 1 4 $a Theory of Computation. $3 669322
650 2 4 $a Computer System Implementation. $3 669803
650 2 4 $a Logic in AI. $3 1228083
650 2 4 $a Control Structures and Microprogramming. $3 669788
650 2 4 $a Special Purpose and Application-Based Systems. $3 669833
650 2 4 $a Software Engineering. $3 669632
700 1 $a Li, Chu-Min. $e editor. $1 https://orcid.org/0000-0002-6886-8434 $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1350216
700 1 $a Manyà, Felip. $e editor. $1 https://orcid.org/0000-0002-8366-1458 $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1350217
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783030802226
776 0 8 $i Printed edition: $z 9783030802240
830 0 $a Theoretical Computer Science and General Issues ; $v 9163 $3 1253524
856 4 0 $u https://doi.org/10.1007/978-3-030-80223-3
912 $a ZDB-2-SCS
912 $a ZDB-2-SXCS
912 $a ZDB-2-LNC
950 $a Computer Science (SpringerNature-11645)
950 $a Computer Science (R0) (SpringerNature-43710)