Login / Signup
PURSE: Property Ordering Using Runtime Statistics for Efficient Multi - Property Verification.
Sourav Das
Aritra Hazra
Pallab Dasgupta
Sudipta Kundu
Himanshu Jain
Published in:
DATE (2024)
Keyphrases
</>
computationally efficient
total ordering
information retrieval
genetic algorithm
case study
three dimensional
objective function
evolutionary algorithm
face verification