Algorithms for computing minimal equivalent subformulas.

Anton Belov Mikolás Janota Inês Lynce João Marques-Silva

Published in: Artif. Intell. (2014)

Keyphrases

orders of magnitude
computationally efficient
times faster
efficient algorithms for computing
computationally expensive
learning algorithm
artificial intelligence
website
computational complexity
optimization problems
theoretical analysis
recently developed
graph theory