Scheduling Reach Mahjong Tournaments Using Pseudoboolean Constraints

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

Cutting the Cake into Crumbs: Verifying Envy-Free Cake-Cutting Protocols Using Bounded Integer Arithmetic

von Lester, Martin Mariusz
Veröffentlicht in PADL (26. : 2024 : London) Practical aspects of declarative languages (2023)

ScAmPER: Generating Test Suites to Maximise Code Coverage in Interactive Fiction Games

von Lester, Martin Mariusz
Veröffentlicht in TAP (14. : 2020 : Online) Tests and proofs (2020)