Proyectos freelance Informática – Semana 24/02/2014
A project should be done in CSP and ASP and then test with 30 instances and running time of them should be compared. Write a Minizinc and an ASP program capable of finding a solution to the following problem. Prepare a battery of 30 benchmark instances. Generate them randomly but prepare some easy/small instances (a couple of running time seconds), some average instances (a couple of minutes) and some hard instances (exceeding timeout). Run both the Minizinc and the ASP encoding on all the instances, possibly exploring different search strategies, with a timeout of 5 minutes for each test (``configuration'' option in Minizinc, --time-limit option in clingo, in both cases you can use linux tricks) In case of COPs, report the best value for the solution found within the timeout...
I need someone who has knowledge in Prolog programming language.