Suchergebnisse - Heule, Marijn J. H. 1979-

  • Treffer 1 – 5 von 5
Treffer filtern
  1. 1
    Buchumschlag

    Theory and applications of satisfiability testing -- SAT 2015: 18th International Conference, Austin, TX, USA, September 24-27, 2015, proceedings

    Veröffentlicht 2015
    Weitere beteiligte Personen: “… Heule, Marijn J. H. 1979- …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  2. 2
    Buchumschlag

    Automated reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024 : proceedings, part II

    Veröffentlicht 2024
    Weitere beteiligte Personen: “… Heule, Marijn J. H. 1979- …”
    Online lesen (frei zugänglich)
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  3. 3
    Buchumschlag

    Automated reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024 : proceedings, part I

    Veröffentlicht 2024
    Weitere beteiligte Personen: “… Heule, Marijn J. H. 1979- …”
    Online lesen (frei zugänglich)
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  4. 4
    Buchumschlag

    Handbook of satisfiability

    Veröffentlicht 2009
    Weitere beteiligte Personen: “… Heule, Marijn J. H. 1979- …”
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  5. 5
    Buchumschlag

    Theory and applications of satisfiability testing - SAT 2015: 18th international conference, Austin, TX, USA, September 24 - 27, 2015 ; proceedings

    Veröffentlicht 2015
    Weitere beteiligte Personen: “… Heule, Marijn J. H. 1979- …”
    Tagungsbericht Buch


    Gespeichert in:

Suchwerkzeuge: