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

Michalis Famelis

Université de Montréal

  • À propos / About
  • Enseignement / Teaching
  • Étudiants / Students
  • Recherche / Research
  • Publications
  • Logiciel / Software
  • Service
  • Contact
Search
  • Category: empirical se

  • On publishing the “obvious”

    Posted by plagal on February 3, 2012February 3, 2012

    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