Sign in

: Satisfiability Checking Meets Symbolic Computation - (Project Paper).

Erika ÁbrahámJohn AbbottBernd BeckerAnna Maria BigattiMartin BrainBruno BuchbergerAlessandro CimattiJames H. DavenportMatthew EnglandPascal FontaineStephen ForrestAlberto GriggioDaniel KroeningWerner M. SeilerThomas Sturm
Published in: CICM (2016)
Keyphrases
  • european union
  • information systems
  • case study
  • management system
  • learning community
  • european project
  • neural network
  • real world
  • decision trees
  • search algorithm
  • artificial neural networks
  • project management