Login / Signup

A Framework for Satisfying Input and Output Encoding Constraints.

Alexander SaldanhaTiziano VillaRobert K. BraytonAlberto L. Sangiovanni-Vincentelli
Published in: DAC (1991)
Keyphrases
  • main contribution
  • artificial intelligence
  • probabilistic model
  • geometric constraints
  • desired output
  • real time
  • search algorithm
  • theoretical framework