Research output

  1. Dynamic Symmetry Breaking by Simulating Zykov Contraction

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

  2. Look-Ahead Based SAT Solvers

    Research output: Chapter in Book/Report/Conference proceedingChapterScientific

  3. Finding Guaranteed MUSes Fast

    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

  2. Journal on Satisfiability, Boolean Modeling and Computation (Journal)

    Activity: Publication peer-review and editorial workEditorial activity

  3. Journal on Satisfiability, Boolean Modeling and Computation (Journal)

    Activity: Publication peer-review and editorial workEditorial activity

View all (8) »

ID: 141751