ROBOTS THAT REASON

Lab member Paulius Dilkas had a previous random model paper published, the below on logic programs.

Generating Random Logic Programs Using Constraint Programming

Testing algorithms across a wide range of problem instances is crucial to ensure the validity of any claim about one algorithm’s superiority