"An Improved Satisfiability Algorithm for Nested Canalyzing Functions and ..."

Avraham A. Melkman, Tatsuya Akutsu (2013)

Details and statistics

DOI: 10.1089/CMB.2013.0060

access: closed

type: Journal Article

metadata version: 2021-04-09