Conflict Analysis in Search Algorithms for Satisfiability.

João P. Marques Silva Karem A. Sakallah

Published in: ICTAI (1996)

Keyphrases

search algorithm
satisfiability problem
quantitative analysis
database
multiscale
statistical analysis
neural network
real world
artificial intelligence
multi agent
data analysis
conflict resolution