Using SMT for Solving Fragments of Parameterised Boolean Equation Systems.

Ruud P. J. Koolen Tim A. C. Willemse Hans Zantema

Published in: ATVA (2015)

Keyphrases

data mining
information retrieval
computer systems
learning systems
complex systems
real valued
genetic algorithm
expert systems
language model
intelligent systems
boolean functions