Certifying Solvers for Clique and Maximum Common (Connected) Subgraph Problems

Stephan Gocht, Ross McBride, Ciaran McCreesh, Jakob Nordström, Patrick Prosser, James Trimble

Forskningsoutput: Kapitel i bok/rapport/Conference proceedingKonferenspaper i proceedingForskningPeer review

3 Citeringar (SciVal)

Fingeravtryck

Fördjupa i forskningsämnen för ”Certifying Solvers for Clique and Maximum Common (Connected) Subgraph Problems”. Tillsammans bildar de ett unikt fingeravtryck.