Andrea Formisano

Latest

• CUDA: Set Constraints on GPUs.
• ASP Applications in Bio-informatics: A Short Tour
• Parallel Answer Set Programming
• A GPU implementation of the ASP computation
• CUD@SAT: SAT solving on GPUs
• Parallel execution of the ASP computation - An investigation on GPUs
• BAAC: A Prolog System for Action Description and Agents Coordination
• Representing Multi-Agent Planning in CLP
• An Experimental Comparison of Constraint Logic Programming and Answer Set Programming.
• Multivalued Action Languages with Constraints in CLP(FD)