Josep Argelich;Chu Min Li;Felip Manyà;Jordi Planes
Affiliations:
Universitat de Lleida, Lleida, Spain;MIS, Université de Picardie Jules Verne, Amiens, France;Artificial Intelligence Research Institute (IIIA-CSIC), Bellaterra, Spain;Universitat de Lleida, Lleida, Spain
Venue:
SAT'11 Proceedings of the 14th international conference on Theory and application of satisfiability testing