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]
Abstract is missing.