External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Algebraic Polynomial-based Synthesis for Abstract Boolean Network Analysis

Peter Backeman, Christoph M. Wintersteiger, Boyan Yordanov, Sara-Jane Dunn. Algebraic Polynomial-based Synthesis for Abstract Boolean Network Analysis. In Tim King, Ruzica Piskac, editors, Proceedings of the 14th International Workshop on Satisfiability Modulo Theories affiliated with the International Joint Conference on Automated Reasoning, SMT@IJCAR 2016, Coimbra, Portugal, July 1-2, 2016. Volume 1617 of CEUR Workshop Proceedings, pages 41-50, CEUR-WS.org, 2016. [doi]

Authors

Peter Backeman

This author has not been identified. Look up 'Peter Backeman' in Google

Christoph M. Wintersteiger

This author has not been identified. Look up 'Christoph M. Wintersteiger' in Google

Boyan Yordanov

This author has not been identified. Look up 'Boyan Yordanov' in Google

Sara-Jane Dunn

This author has not been identified. Look up 'Sara-Jane Dunn' in Google
runs on