Research output

  1. Sums of squares based approximation algorithms for MAX-SAT

    Research output: Contribution to journalArticleScientificpeer-review

  2. A winner determination problem of tendering transportation services

    Research output: Contribution to journalArticleScientific

  3. Operations research based approaches for the (maximum) satisfiability problem

    Research output: ThesisDissertation (external, preparation TU Delft)Scientific

View all (9) »

ID: 307351