Related Tags

abstraction ai ant automated automatic bdd binary book-review cite-it commitment conjunctive da digital_libraries--historical digitization directed evolution excpetion feedback genetic-algorithm goal-oriented goals graph-analysis graphplan graphs local-history logic mea model-based model-checking nondeterministic nonlinear object-state oo overview path planning random relaxation reuse runtime-analysis sat search softnet software specifications state stochastic strips survey system-testing test-case-generation test-data-generation testing to_read torkar-thesis unit-test

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.