Computational limits of using CAD and SMT-solvers in Logical Analysis of Regulatory Networks

Activity: Talk or presentation › Oral presentation

Period15 Feb 2022
Event titleNew Perspectives in Symbolic Computation and Satisfiability Checking
Event typeWorkshop
LocationWadern, Germany, SaarlandShow on map
Degree of RecognitionInternational