新規登録 | ログイン | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

bsilverthorn satisfiability [6 articles]

最近 bsilverthorn さんのライブラリに追加された論文の中から タグ satisfiability. You can also see everyone's satisfiability.
  • Randomization and Restart Strategies
    (2006)
    by Huayue Wu
    posted to satisfiability restart_strategies phd_theses by bsilverthorn on 2008-04-23 17:02:25 as read
  • Dynamic restart policies
    (2002), pp. 674-681.
    by Henry Kautz, Eric Horvitz, Yongshao Ruan, Carla Gomes, Bart Selman
    posted to satisfiability restart_strategies by bsilverthorn on 2008-04-23 17:02:00 as read
  • SATLIB: An Online Resource for Research on SAT
    (2000), pp. 283-292.
    by Holger H Hoos, Thomas Stützle
    edited by IP Gent, H Maaren, T Walsh
    posted to benchmarking satisfiability by bsilverthorn on 2008-03-02 21:01:46 as read
  • Local Search Strategies for Satisfiability Testing
    (1993)
    by Bart Selman, Henry A Kautz, Bram Cohen
    edited by Michael Trick, David S Johnson
    posted to local_search satisfiability walksat by bsilverthorn on 2008-02-27 23:33:39 as read
  • SATzilla-07: The Design and Analysis of an Algorithm Portfolio for SAT
    Lecture Notes in Computer Science, Vol. 4741 (2007)
    by Lin Xu, Frank Hutter, Holger H Hoos, Kevin Leyton-Brown
    posted to algorithm_portfolios satisfiability by bsilverthorn on 2008-01-21 20:46:58 as read
  • Learning dynamic algorithm portfolios
    Annals of Mathematics and Artificial Intelligence, Vol. 47, No. 3-4. (August 2006), pp. 295-328.
    by Matteo Gagliolo, Jurgen Schmidhuber
  • 注: このページを引用する時は次のURLでどうぞ: http://www.citeulike.org/user/bsilverthorn/tag/satisfiability

    RIS BibTeX RSS
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.