MEDUSA: METHODS FOR DISTRIBUTED ANSWER SET SOLVERS

Project: Research council

StatusFinished
Effective start/end date1/04/0731/03/09

Funding

  • The Royal Society