A SAT Approach for Finding Sup-Transition-Minors.

Benedikt Klocker Herbert Fleischner Günther R. Raidl

Published in: LION (2019)

Keyphrases

sat solvers
database
search algorithm
databases
search engine
phase transition
sat problem
max sat