Research output

  1. Software model synthesis using satisfiability solvers

    Research output: Contribution to journalArticleScientificpeer-review

  2. Symmetry in gardens of Eden

    Research output: Contribution to journalArticleScientificpeer-review

  3. Automated Reencoding of Boolean Formulas

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

View all (36) »

Activities

  1. IOS Press (Publisher)

    Activity: Publication peer-review and editorial workEditorial activity

View all (1) »

ID: 147674