1. S.B. Akers, Synthesis of combinational logic using three-input majority gates, in Symposium on Switching Circuit Theory and Logical Design (1962), pp. 149–158
2. L. Amarú, P.-E. Gaillardon, G. De Micheli, The EPFL combinational benchmark suite, in International Workshop on Logic and Synthesis (IWLS) (2015)
3. G. Audemard, L. Simon, GLUCOSE: a solver that predicts learnt clauses quality, in SAT Competition (2009), pp. 7–8
4. T.C. Biedl, Improved orthogonal drawings of 3-graphs, in Canadian Conference on Computational Geometry (CCCG) (1996), pp. 295–299
5. A. Biere, K. Heljanko, S. Wieringa, AIGER 1.9 And Beyond. Tech. rep. 11/2. Altenbergerstr. 69, 4040 Linz, Austria: Institute for Formal Models and Verification (Johannes Kepler University, 2011)