Login / Signup
BICE: Exploring Compact Search Space by Using Bipartite Matching and Cell-Wide Verification.
Yunyoung Choi
Kunsoo Park
Hyunjoon Kim
Published in:
Proc. VLDB Endow. (2023)
Keyphrases
</>
bipartite matching
search space
maximum weight
minimum cost flow
model checking
search algorithm
optimal solution
metaheuristic
neural network
genetic algorithm
fitness function
lower bound
special case
minimum cost