共 50 条
- [43] Supercharging Plant Configurations Using Z3 INTEGRATION OF CONSTRAINT PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND OPERATIONS RESEARCH, 2021, 12735 : 1 - 25
- [48] Satisfiability Modulo Custom Theories in Z3 VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2023, 2023, 13881 : 91 - 105
- [49] DKAL and Z3: A Logic Embedding Experiment FIELDS OF LOGIC AND COMPUTATION: ESSAYS DEDICATED TO YURI GUREVICH ON THE OCCASION OF HIS 70TH BIRTHDAY, 2010, 6300 : 504 - +
- [50] NONPERTURBATIVE CALCULATION OF Z3 IN MASSLESS ELECTRODYNAMICS PHYSICAL REVIEW, 1965, 138 (6B): : 1450 - &