Ptime Canonization for Two Variables with Counting

Published in: LICS (1995)

Keyphrases

variable selection
relevant variables
universally quantified
machine learning
conjunctive queries
databases
real world
data mining
information systems
website
data structure
evolutionary algorithm
satisfiability problem
state variables
input variables
causal relationships