Pseudo Boolean Programming for Partially Ordered Genomes.

Sébastien Angibaud Guillaume Fertin Annelyse Thévenin Stéphane Vialette

Published in: RECOMB-CG (2009)

Keyphrases

partially ordered
pseudo boolean
partial order
pseudo boolean constraints
combinatorial problems
integer linear programming
totally ordered
symmetry breaking
programming language
partial ordering
propositional satisfiability
exact solution
sat solvers
evolutionary algorithm
temporal logic
graph coloring