Four-Valued Reasoning and Cyclic Circuits
Graeme Gange, Benjamin Horsfall, Lee Naish, Harald Sondergaard
IEEE Transactions on Computer - Aided Design of Integrated Circuits and Systems | IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC | Published : 2014
Related Projects (1)
Awarded by Australian Research Council through ARC grant
This work was supported in part by the Australian Research Council through ARC grant DP110102579. The authors wish to thank the reviewers for detailed feedback that helped improve the paper.