Research output

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

    Research output: Scientific - peer-reviewArticle

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

    Research output: ScientificDissertation (external, preparation TU Delft)

View all (9) »

ID: 307351