Superrosy dependent groups having finitely satisfiable generics.

Clifton F. Ealy Krzysztof Krupinski Anand Pillay

Published in: Ann. Pure Appl. Log. (2008)

Keyphrases

phase transition
randomly generated
finite number
neural network
real world
case study
database systems
evolutionary algorithm
satisfiability problem
subgraph isomorphism