BanditFuzz: A Reinforcement-Learning Based Performance Fuzzer for SMT Solvers

von Scott, Joseph
Veröffentlicht in VSTTE (12. : 2020 : Online) Software verification (2020)

Automated Technology for Verification and Analysis : 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, proceedings

Veröffentlicht 2021

A Machine Learning Based Splitting Heuristic for Divide-and-Conquer Solvers

von Nejati, Saeed
Veröffentlicht in CP (26. : 2020 : Online) Principles and practice of constraint programming (2020)

Effective Problem Solving Using SAT Solvers

von Bright, Curtis
Veröffentlicht in Maple Conference (3. : 2019 : Waterloo, Ontario) Maple in mathematics education and research (2020)

ONLINE BAYESIAN MOMENT MATCHING BASED SAT SOLVER HEURISTIGCS

von Duan, Haonan
Veröffentlicht in International Conference on Machine Learning (37. : 2020 : Online) 37th International Conference on Machine Learning (ICML 2020) ; Part 4 of 15 (2021)

MachSMT: A Machine Learning-based Algorithm Selector for SMT Solvers

von Scott, Joseph
Veröffentlicht in TACAS (27. : 2021 : Online) Tools and algorithms for the construction and analysis of systems ; Part 2 (2021)

Towards a Complexity-Theoretic Understanding of Restarts in SAT Solvers

von Li, Chunxiao
Veröffentlicht in SAT (23. : 2020 : Online) Theory and applications of satisfiability testing - SAT 2020 (2020)

BanditFuzz: Fuzzing SMT Solvers with Multi-agent Reinforcement Learning

von Scott, Joseph
Veröffentlicht in FM (24. : 2021 : Online) Formal Methods (2021)

Z3str4: A Multi-armed String Solver

von Mora, Federico
Veröffentlicht in FM (24. : 2021 : Online) Formal Methods (2021)

Computer aided verification

Veröffentlicht 2024

Computer aided verification

Veröffentlicht 2024

Computer aided verification

Veröffentlicht 2024

Computer aided verification : 36th international conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024 : proceedings

Nonexistence Certificates for Ovals in a Projective Plane of Order Ten

von Bright, Curtis
Veröffentlicht in IWOCA (31. : 2020 : Online) Combinatorial algorithms (2020)

Community and LBD-Based Clause Sharing Policy for Parallel SAT Solving

von Vallade, Vincent
Veröffentlicht in SAT (23. : 2020 : Online) Theory and applications of satisfiability testing - SAT 2020 (2020)

An SMT Solver for Regular Expressions and Linear Arithmetic over String Length

von Berzish, Murphy
Veröffentlicht in CAV (33. : 2021 : Online) Computer aided verification ; Part 2 (2021)

String Theories Involving Regular Membership Predicates: From Practice to Theory and Back

von Berzish, Murphy
Veröffentlicht in International Conference on Words (13. : 2021 : Online) Combinatorics on Words (2021)

On the Hierarchical Community Structure of Practical Boolean Formulas

von Li, Chunxiao
Veröffentlicht in SAT (24. : 2021 : Barcelona) Theory and Applications of Satisfiability Testing - SAT 2021 (2021)