TY - RPRT TI - Generating Random Logic Programs Using Constraint Programming AU - Paulius Dilkas AU - Vaishak Belle PY - 2020 DO - 10.1007/978-3-030-58475-7_48 UR - https://arxiv.org/abs/2006.01889 ID - 2006.01889 ER -