共 50 条
- [33] Cramer's Formulas for Systems of Linear Equations and Inequalities Over Boolean Algebra IZVESTIYA SARATOVSKOGO UNIVERSITETA NOVAYA SERIYA-MATEMATIKA MEKHANIKA INFORMATIKA, 2011, 11 (03): : 43 - 46
- [35] The use of associative information processing for constructing algorithms for solving systems of Boolean equations Computational Mathematics and Mathematical Physics, 2010, 50 : 1925 - 1940
- [38] Compiling Argos into Boolean equations FORMAL TECHNIQUES IN REAL-TIME AND FAULT-TOLERANT SYSTEMS, 1996, 1135 : 72 - 89
- [39] Educating Hardware Design - From Boolean Equations to Massively Parallel Computing Systems 2014 IX SOUTHERN CONFERENCE ON PROGRAMMABLE LOGIC (SPL 2014), 2014,