Capturing Structure with Satisfiability.

Ramón Béjar Alba Cabiscol Cèsar Fernández Felip Manyà Carla P. Gomes

Published in: CP (2001)

Keyphrases

neural network
genetic algorithm
case study
np complete
structural information
satisfiability problem
real time
social networks
bayesian networks