TY  - RPRT
TI  - New Models for Generating Hard Random Boolean Formulas and Disjunctive Logic Programs
AU  - Giovanni Amendola
AU  - Francesco Ricca
AU  - Miroslaw Truszczynski
PY  - 2018
UR  - https://arxiv.org/abs/1802.03828
ID  - 1802.03828
ER  -