Satisfiability and Evolution.

Adi Livnat Christos H. Papadimitriou Aviad Rubinstein Andrew Wan

Published in: CoRR (2013)

Keyphrases

satisfiability problem
propositional logic
real time
computational complexity
evolution process
temporal evolution
np complete
case study
multi agent systems
data structure
special case
bayesian networks
image sequences
software evolution
computational properties
genetic algorithm
real world