Automata Terms in a Lazy WSkS Decision Procedure.

Vojtech Havlena Lukás Holík Ondrej Lengál Tomás Vojnar

Published in: J. Autom. Reason. (2021)

Keyphrases

decision making
databases
information systems
iterative procedure
genetic algorithm
multiscale
decision makers
decision rules
finite state
real time
metadata
database systems
xml documents
search procedure