Login / Signup

The Three-state Perfect Phylogeny Problem Reduces to 2-SAT.

Dan GusfieldYufeng Wu
Published in: Commun. Inf. Syst. (2009)
Keyphrases
  • perfect phylogeny
  • missing data
  • database
  • dynamic programming
  • model checking
  • integer linear programming
  • search algorithm
  • lower bound
  • search strategies
  • temporal logic