Unified SAT-Solving for Hard Problems of Phylogenetic Network Construction.

Dan Gusfield Hannah Brown

Published in: ICCABS (2021)

Keyphrases

hard problems
sat solving
phase transition
sat problem
sat solvers
boolean satisfiability
neural network
max sat
dynamic programming
search tree
hyper heuristics
sat encodings
search space
heuristic search
symmetry breaking