Zobrazeno 1 - 10 of 897 pro vyhledávání: '"SATISFIABILITY (Computer science)"'
1
Periodical
The Silent (R)evolution of SAT.
Autor: FICHTE, JOHANNES K.1, LE BERRE, DANIEL2, HECHER, MARKUS3 hecher@mit.edu, SZEIDER, STEFAN4
Publikováno v: Communications of the ACM. Jun2023, Vol. 66 Issue 6, p64-72. 9p. 4 Diagrams, 1 Chart.
Zobrazit plný text záznamu
2
Akademický článek
Qualitative analysis of the dynamics of controlled singular logic networks.
Autor: Oparin, Gennady1 prn51@ice.ru, Bogdanova, Vera1, Pashinin, Anton1
Publikováno v: Mathematics in Engineering, Science & Aerospace (MESA). 2024, Vol. 15 Issue 1, p31-41. 11p.
Zobrazit plný text záznamu
3
Akademický článek
Satisfiability Modulo Ordering Consistency Theory for SC, TSO, and PSO Memory Models.
Autor: HONGYU FAN1 fhy18@mails.tsinghua.edu.cn, ZHIHANG SUN1 sunzh20@mails.tsinghua.edu.cn, FEI HE1 hefei@tsinghua.edu.cn
Publikováno v: ACM Transactions on Programming Languages & Systems. Mar2023, Vol. 45 Issue 1, p1-37. 37p.
Zobrazit plný text záznamu
4
Akademický článek
Proving the Incompatibility of Efficiency and Strategyproofness via SMT Solving.
Autor: Brandl, Florian, Brandt, Felix, Eberl, Manuel, Geist, Christian
Publikováno v: Journal of the ACM. Jan2018, Vol. 65 Issue 2, p1-28. 28p.
Zobrazit plný text záznamu
5
Periodical
A Satisfying Result: Formulating a decades-old geometric conjecture as a satisfiability problem opened the door to its final resolution.
Autor: Monroe, Don1
Publikováno v: Communications of the ACM. May2021, Vol. 64 Issue 5, p10-12. 3p. 1 Diagram.
Zobrazit plný text záznamu
7
Akademický článek
Robust Satisfiability of Systems of Equations.
Autor: FRANEK, PETER1 peter.franek@gmail.com, KRĆÁL, MAREK2
Publikováno v: Journal of the ACM. Aug2015, Vol. 62 Issue 4, p1-19. 19p.
Zobrazit plný text záznamu
8
Akademický článek
Capacitated lot sizing problem with periodic carbon emission constraints and multiple resources.
Autor: Koca, Esra, Koksalan, G. Irmak
Publikováno v: International Journal of Production Research; Oct2023, Vol. 61 Issue 19, p6589-6601, 13p, 1 Chart, 1 Graph
Zobrazit plný text záznamu
9
Akademický článek
An Overview of FPGA-inspired Obfuscation Techniques.
Autor: Abideen, Zain Ul, Gokulanathan, Sumathi, J. Aljafar, Muayad, Pagliarini, Samuel
Publikováno v: ACM Computing Surveys; Dec2024, Vol. 56 Issue 12, p1-35, 35p
Zobrazit plný text záznamu
10
Akademický článek
Preface of the special issue on the conference on Computer-Aided Verification 2020 and 2021.
Autor: Albarghouthi, Aws, Leino, Rustan, Silva, Alexandra, Urban, Caterina
Publikováno v: Formal Methods in System Design; Oct2024, Vol. 63 Issue 1-3, p1-4, 4p
Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání

Omezení vyhledávání
Plný text Recenzováno Digitální knihovna AV ČR
Zdroje