Login / Signup
Automata Terms in a Lazy WSkS Decision Procedure (Technical Report).
Vojtech Havlena
Lukás Holík
Ondrej Lengál
Tomás Vojnar
Published in:
CoRR (2019)
Keyphrases
</>
technical report
decision making
decision trees
decision rules
data mining
genetic algorithm
xml documents
case based reasoning
co occurrence
decision makers
utility function
decision problems
influence diagrams
decision process