Treffer 1 - 4 von 4 für Suche 'Fahiem, Andrew', Suchdauer: 0,35s Treffer weiter einschränken
  1. 1
    FPGA Logic Synthesis Using Quantified Boolean Satisfiability

    FPGA Logic Synthesis Using Quantified Boolean Satisfiability von Ling, Andrew, Singh, Deshanand P., Brown, Stephen D.


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Local and Global Complete Solution Learning Methods for QBF

    Local and Global Complete Solution Learning Methods for QBF von Gent, Ian P., Rowley, Andrew G. D.


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Exploring Strategy-Proofness, Uniqueness, and Pareto Optimality for the Stable Matching Problem with Couples

    Exploring Strategy-Proofness, Uniqueness, and Pareto Optimality for the Stable Matching Problem with Couples von Perrault, Andrew, Drummond, Joanna, Bacchus, Fahiem

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Exploring Strategy-Proofness, Uniqueness, and Pareto Optimality for the Stable Matching Problem with Couples

    Exploring Strategy-Proofness, Uniqueness, and Pareto Optimality for the Stable Matching Problem with Couples von Perrault, Andrew, Drummond, Joanna, Bacchus, Fahiem

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: