Login / Signup

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

Stephan GochtRoss McBrideCiaran McCreeshJakob NordströmPatrick ProsserJames Trimble
Published in: CP (2020)
Keyphrases
  • optimization problems
  • logic programs
  • decision problems
  • solving problems
  • computationally hard problems