Skip to main navigation
Skip to search
Skip to main content
Coventry University Home
Help & FAQ
Home
Organisational Units
Profiles
Research output
Projects
Coventry awarded Student theses
Activities
Prizes
Datasets
Press/Media
Equipment
Search by expertise, name or affiliation
Computational limits of using CAD and SMT-solvers in Logical Analysis of Regulatory Networks
Sadeghi Manesh, A. S.
(Speaker)
Research Centre for Computational Science and Mathematical Modelling
Activity
:
Talk or presentation
›
Oral presentation
Period
15 Feb 2022
Event title
New Perspectives in Symbolic Computation and Satisfiability Checking
Event type
Workshop
Location
Germany
Show on map
Degree of Recognition
International