Improving the Translation from ECTL to SAT.

Andrzej Zbrzezny

Published in: Fundam. Informaticae (2008)

Keyphrases

machine translation
sat solvers
real time
information retrieval
search algorithm
satisfiability problem
data sets
knowledge base
evolutionary algorithm
search strategies
sat instances