Algebraic Polynomial-based Synthesis for Abstract Boolean Network Analysis.

Peter Backeman, Christoph M. Wintersteiger, Boyan Yordanov, Sara-Jane Dunn

Browse the full CADE paper archive.