On Approximate Horn Formula Minimization.

Amitava Bhattacharya Bhaskar DasGupta Dhruv Mubayi György Turán

Published in: ICALP (1) (2010)

Keyphrases

objective function
exact solution
horn clauses
genetic algorithm
relational databases
query language
propositional logic
propositional formulas
minimization problems