E-LIB Suche - Ergebnisse für: Stuckey, Peter J

1

A FastMap-Based Framework for Efficiently Computing Top-K P..:

, In: Machine Learning, Optimization, and Data Science; Lecture Notes in Computer Science,

Li, Ang ; Stuckey, Peter ; Koenig, Sven. - p. 158-173 , 2024

Link: https://doi.org/10.1007/..

2

A lightweight approach to nontermination inference using Co..:

Kafle, Bishoksan ; Gange, Graeme ; Schachte, Peter..
Software and Systems Modeling. 23 (2024) 2 - p. 319-342 , 2024

Link: https://doi.org/10.1007/..

3

SuperStack: Superoptimization of Stack-Bytecode via Greedy,..:

Albert, Elvira ; Garcia de la Banda, Maria ; Hernández-Cerezo, Alejandro...
Proceedings of the ACM on Programming Languages. 8 (2024) PLDI - p. 1437-1462 , 2024

Link: https://doi.org/10.1145/..

4

Single Constant Multiplication for SAT:

, In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research; Lecture Notes in Computer Science,

Bierlee, Hendrik ; Dekker, Jip J. ; Lagoon, Vitaly.. - p. 84-98 , 2024

Link: https://doi.org/10.1007/..

5

Optimization of the Storage Location Assignment Problem Usi..:

, In: Operations Research and Enterprise Systems; Communications in Computer and Information Science,

Oxenstierna, Johan ; van Rensburg, Louis Janse ; Stuckey, Peter J.. - p. 220-244 , 2023

Link: https://doi.org/10.1007/..

6

Ballot-Polling Audits of Instant-Runoff Voting Elections wi..:

, In: Computer Security. ESORICS 2022 International Workshops; Lecture Notes in Computer Science,

Everest, Floyd ; Blom, Michelle ; Stark, Philip B.... - p. 525-540 , 2023

Link: https://doi.org/10.1007/..

7

MiniZinc for Formal Methods:

, In: 2023 Formal Methods in Computer-Aided Design (FMCAD),

Stuckey, Peter J. - p. 1-1 , 2023

Link: https://doi.org/10.34727..

8

Getting 'ϕψχal' with proteins: minimum message length infer..:

Amarasinghe, Piyumi R ; Allison, Lloyd ; Stuckey, Peter J...
Bioinformatics. 39 (2023) Supplement_1 - p. i357-i367 , 2023

Link: https://doi.org/10.1093/..

9

Risk-Limiting Audits for Condorcet Elections:

, In: Financial Cryptography and Data Security. FC 2023 International Workshops; Lecture Notes in Computer Science,

Blom, Michelle ; Stuckey, Peter J. ; Teague, Vanessa. - p. 79-94 , 2023

Link: https://doi.org/10.1007/..

10

ChameleonIDE: Untangling Type Errors Through Interactive Vi..:

, In: 2023 IEEE/ACM 31st International Conference on Program Comprehension (ICPC),

Fu, Shuai ; Dwyer, Tim ; Stuckey, Peter J... - p. 146-156 , 2023

Link: https://doi.org/10.1109/..

11

Optimal dynamic partial order reduction with context-sensit..:

Albert, Elvira ; de la Banda, Maria Garcia ; Gómez-Zamalloa, Miguel..
Journal of Systems and Software. 202 (2023) - p. 111730 , 2023

Link: https://doi.org/10.1016/..

12

A First Approach to Risk-Limiting Audits for Single Transfe..:

, In: Financial Cryptography and Data Security. FC 2022 International Workshops; Lecture Notes in Computer Science,

Blom, Michelle ; Stuckey, Peter J. ; Teague, Vanessa. - p. 366-380 , 2023

Link: https://doi.org/10.1007/..

13

Adaptively Weighted Audits of Instant-Runoff Voting Electio..:

, In: Electronic Voting; Lecture Notes in Computer Science,

Ek, Alexander ; Stark, Philip B. ; Stuckey, Peter J.. - p. 35-51 , 2023

Link: https://doi.org/10.1007/..

14

Enumerated Types and Type Extensions for MiniZinc:

, In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research; Lecture Notes in Computer Science,

Stuckey, Peter J. ; Tack, Guido - p. 374-389 , 2022

Link: https://doi.org/10.1007/..

15

Coupling Different Integer Encodings for SAT:

, In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research; Lecture Notes in Computer Science,

Bierlee, Hendrik ; Gange, Graeme ; Tack, Guido.. - p. 44-63 , 2022

Link: https://doi.org/10.1007/..