Solving E (φUψ) using the CEGAR Approach.

Torsten Liebke Karsten Wolf

Published in: PNSE@Petri Nets/ACSD (2019)

Keyphrases

cooperative
information retrieval
combinatorial optimization
quadratic programming
databases
genetic algorithm
decision making
image segmentation
information technology