search chat play-circle-outline angle-down angle-right angle-left icon-menu
Skip to content
Michális Famelis

Michális Famelis

Université de Montréal

  • À propos / About
  • Enseignement / Teaching
  • Équipe / Team
  • Recherche / Research
  • Publications
  • Logiciel / Software
  • Service
  • Contact
Search

  • Category: empirical se

  • On publishing the “obvious”

    Posted by plagal on 2012-02-032012-02-03

    As a requirement for the course “Advanced Propositional Reasoning” that I’m taking, today I did a presentation of a very very interesting paper titled Empirical study of the anatomy of modern SAT solvers. You can …

    blogging, empirical se, presentation, self-reference, software engineering
    0 0 comments on “On publishing the “obvious””
Create a website or blog at WordPress.com
  • Subscribe Subscribed
    Michális Famelis

    Have a WordPress.com account? Log in now.

  • Michális Famelis
    View site in Reader
    Manage subscriptionsSign upLog in
    Report this content
    Collapse this bar