Published January 13, 2021
| Version v1.1
Software
Open
peitl/short-proof: JAIR 2021
Description
The version used to conduct experiments for the JAIR paper, the journal version of the original CP 2020 paper.
Files
peitl/short-proof-v1.1.zip
Files
(23.3 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:7f18db8afb6d5304c2cd7b14599fbc8f
|
23.3 kB | Preview Download |
Additional details
Related works
- Is supplement to
- https://github.com/peitl/short-proof/tree/v1.1 (URL)