Zobrazeno 1 - 10
of 17 276
pro vyhledávání: '"satisfiability"'
Publikováno v:
Communications of the ACM. Jun2023, Vol. 66 Issue 6, p64-72. 9p. 4 Diagrams, 1 Chart.
Publikováno v:
Mathematics in Engineering, Science & Aerospace (MESA). 2024, Vol. 15 Issue 1, p31-41. 11p.
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.
Publikováno v:
Journal of the ACM. Jan2018, Vol. 65 Issue 2, p1-28. 28p.
Autor:
Monroe, Don1
Publikováno v:
Communications of the ACM. May2021, Vol. 64 Issue 5, p10-12. 3p. 1 Diagram.
Autor:
Fattebert, Jean-Luc, Negre, Christian F. A., Finkelstein, Joshua, Mohd-Yusof, Jamaludin, Osei-Kuffuor, Daniel, Wall, Michael E., Zhang, Yu, Bock, Nicolas, Mniszewski, Susan M.
Publikováno v:
Journal of Chemical Physics; 3/28/2024, Vol. 160 Issue 12, p1-16, 16p
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.
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
Publikováno v:
Formal Methods in System Design; Oct2024, Vol. 63 Issue 1-3, p1-4, 4p
Autor:
BARBOSA, HANIEL, BARRETT, CLARK, COOK, BYRON, DUTERTRE, BRUNO, KREMER, GEREON, LACHNITT, HANNA, NIEMETZ, AINA, NÖTZLI, ANDRES, OZDEMIR, ALEX, PREINER, MATHIAS, REYNOLDS, ANDREW, TINELLI, CESARE, ZOHAR, YONI
Publikováno v:
Communications of the ACM; Oct2023, Vol. 66 Issue 10, p86-95, 10p, 1 Color Photograph, 1 Black and White Photograph, 2 Diagrams