Rapidash: Efficient Constraint Discovery via Rapid Verification.

Zifan Liu Shaleen Deep Anna Fariha Fotis Psallidas Ashish Tiwari Avrilia Floratou

Published in: CoRR (2023)

Keyphrases

computationally expensive
model checking
data sets
lightweight
multiscale
artificial neural networks
search space
knowledge discovery
computationally efficient
cost effective