SMT-Based Consistency Checking of Configuration-Based Components Specifications.

Laura Pandolfo Luca Pulina Simone Vuotto

Published in: IEEE Access (2021)

Keyphrases

consistency checking
stochastic search
query answering
temporal reasoning
temporal constraints
databases
data exchange
data sets
computational complexity
dynamic programming
integrity constraints