Login / Signup

ValidMaker: A tool for managing device configurations using logical constraints.

Sylvain HalléEric Lunaud NgoupeGaetan NijdamOmar CherkaouiPetko ValtchevRoger Villemaire
Published in: NOMS (2012)
Keyphrases
  • constraint satisfaction
  • linear constraints
  • mining graph data
  • software tools
  • constraint language
  • database
  • data sets
  • data mining
  • decision trees
  • low cost
  • constrained optimization
  • logical structure
  • logical reasoning