Sign in

A Certified Decision Procedure for Tree Shares.

Xuan Bach LeThanh-Toan NguyenWei-Ngan ChinAquinas Hobor
Published in: ICFEM (2017)
Keyphrases
  • tree structure
  • decision making
  • decision makers
  • decision rules
  • binary tree
  • database
  • information systems
  • training data
  • decision model
  • tree search
  • pruning algorithm
  • tree construction
  • internal nodes