Research output

  1. Software model synthesis using satisfiability solvers

    Research output: Scientific - peer-reviewArticle

  2. Symmetry in gardens of Eden

    Research output: Scientific - peer-reviewArticle

  3. Automated Reencoding of Boolean Formulas

    Research output: Scientific - peer-reviewConference contribution

View all (36) »

Activities

  1. IOS Press (Publisher)

    Activity: Publication peer-review and editorial workEditorial activity

View all (1) »

ID: 147674