• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Using SMT for Solving Fragments of Parameterised Boolean Equation Systems.

Ruud P. J. KoolenTim A. C. WillemseHans 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