Login / Signup
Uniform and scalable SAT-sampling for configurable systems.
Ruben Heradio
David Fernández-Amorós
José A. Galindo
David 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