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 proceedingPeer review

Fingeravtryck

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

Computer Science

Mathematics