Published February 14, 2026
| Version v1
Software
Open
Two New Findings on the Fair Distribution of Goods through SAT Solving
Authors/Creators
-
1.
Helmholtz Center for Information Security
-
2.
Max Planck Institute for Informatics
Description
This contains the lean formalisation artefact and the z3 experiment accompanying the submission "Two New Findings on the Fair Distribution of Goods through SAT Solving".
Files
EFXProblemPaper-main.zip
Files
(40.9 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:c6ce2e7c7b1b454b5da2a350421cdaff
|
38.6 kB | Preview Download |
|
md5:4760abbf5724678bf61d0706c6866b40
|
2.3 kB | Preview Download |
Additional details
Software
- Programming language
- Lean