You are here

The Runtime Characteristics of Great Explorations’ Prototype SAT-based Matching Algorithm