Opendata, web and dolomites
H2020 projects about "satisfiability"
The page lists 3 projects related to the topic "satisfiability".
| # | |||
|---|---|---|---|
| 1 | SC-square | SC-square - Satisfiability Checking and Symbolic Computation: uniting two communities to solve real problems | 2016 |
| 2 | Matryoshka | Fast Interactive Verification through Strong Higher-Order Automation | 2017 |
| 3 | QIP | Towards a Quantitative Theory of Integer Programming | 2019 |