Incremental Search for Conflict and Unit Instances of Quantified Formulas with E-Matching.

Jochen Hoenicke Tanja Schindler

Published in: VMCAI (2021)

Keyphrases

search algorithm
matching process
pattern matching
search space
search strategy
stochastic local search
keypoints
search efficiency
matching procedure
information retrieval
evolutionary algorithm
matching algorithm
search strategies
incremental learning
conflict resolution