MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Constructing Optimal Binary Decision Trees is NP-Complete." – sorted by Relevance.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 2 documents found, showing 1 through 2.
ATOM RSS
  • vid L. Dill. Sequential Cirsuit Veri�cation Using Symbolic Model  
  • by Ahp R. Alur, G. Holzmann, D. Peled, An Analyzer, Message Sequence, Bcl Jerry R. Burch, Edmund M. Clarke, David E. Long Representing, Bcmd Jerry R. Burch, Edmund M. Clarke, Kenneth L. Mcmillan
  • …. Constructing Optimal Binary Decision Trees is NP�Complete. In IPL 5, pages 15�17, 1976. �HS66� J. Hartmanis…
  • Add To MetaCart
Help! Showing 1 through 2.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB