MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "An Empirical Study of Greedy Local Search for Satisfiability Testing." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 4 documents found, showing 1 through 4.
ATOM RSS
  • Bibliography  
  • by Achh Rajeev Alur, Costas Courcoubetis, Thomas A. Henzinger, Pei-hsin Ho, Ao Ravindra K. Ahuja, A. Beringer, G. Aschemann, H. H. Hoos, M. Metzger, A. Wei Gsat, Bm Justin A. Boyan
  • … of greedy local search for satisfiability testing. In Proceedings of AAAI'93, pages 46--51. MIT press, 1993…
  • Add To MetaCart
  • January, 1996.  
  • by Watkins Learning From, P. E. Utgoff, Feature Technical, K. Woolsey, Rollouts Inside Backgammon
  • … study of greedy local search for satisfiability testing. In Proceedings of the 11th National Conference…
  • Add To MetaCart
Help! Showing 1 through 4.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB