Paul Saikko
From MaRDI portal
Person:2818040
Available identifiers
zbMath Open saikko.paulMaRDI QIDQ2818040
List of research outcomes
| Publication | Date of Publication | Type |
|---|---|---|
| Subsumed Label Elimination for Maximum Satisfiability | 2018-07-12 | Paper |
| LMHS: A SAT-IP Hybrid MaxSAT Solver | 2016-09-05 | Paper |
| MaxSAT-Based Cutting Planes for Learning Graphical Models | 2016-07-25 | Paper |
Research outcomes over time
Doctoral students
No records found.
Known relations from the MaRDI Knowledge Graph
| Property | Value |
|---|---|
| MaRDI profile type | MaRDI person profile |
| instance of | human |
This page was built for person: Paul Saikko
