00807nam0 2200277 450 991102758020332120250929090940.0978139424978720250929d2025----km y0itay50 baengUSa 001yyApplied SatisfiabilityCryptography, Scheduling, and Coalitional GamesXiaojuan Liao, Miyuki KoshimuraKobenhavnWileyc2025X, pag. 262ill.24 cmProgrammazione00323itaLiaoXiaojuan1839998KoshimuraMiyuki1839999ITUNINAREICATUNIMARCBK9911027580203321003-LIA-1302/2025SC1SC1Applied Satisfiability4419454UNINA