Login / Signup

Uniform and scalable SAT-sampling for configurable systems.

Ruben HeradioDavid Fernández-AmorósJosé A. GalindoDavid Benavides
Published in: SPLC (A) (2020)
Keyphrases
  • management system
  • computer systems
  • knowledge based systems
  • learning systems
  • data intensive
  • real time
  • knowledge base
  • expert systems
  • complex systems
  • retrieval systems
  • model checking
  • search strategies