SMT for nonlinear constraints with application to computational biology

Project Details

StatusFinished
Effective start/end date1/07/14 → 28/02/18

Funding

  • UK industry, commerce and public corporations: £37,150.00