Super-Blocked Clauses.

Benjamin Kiesl Martina Seidl Hans Tompits Armin Biere

Published in: IJCAR (2016)

Keyphrases

first order logic
search space
horn clauses
consequence finding
background knowledge
artificial intelligence
boolean formulae
databases
genetic algorithm
clustering algorithm
multi agent
natural language
modal logic
propositional logic