F. Tardivo

Latest

• Constraint Propagation on GPU: A Case Study for the Cumulative Constraint
• Constraints Propagation on GPU: A Case Study for AllDifferent
• Towards distributed computation of answer sets