共 50 条
- [41] Scalable program analysis using Boolean satisfiability [J]. Fourth ACM & IEEE International Conference on Formal Methods and Models for Co-Design, Proceedings, 2006, : 89 - 89
- [42] Fast and Scalable Distributed Boolean Tensor Factorization [J]. 2017 IEEE 33RD INTERNATIONAL CONFERENCE ON DATA ENGINEERING (ICDE 2017), 2017, : 1071 - 1082
- [43] Efficient Boolean Games Equilibria: A Scalable Approach [J]. AAMAS'16: PROCEEDINGS OF THE 2016 INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS & MULTIAGENT SYSTEMS, 2016, : 1405 - 1406
- [46] On the complexity of Boolean matrix ranks [J]. LINEAR ALGEBRA AND ITS APPLICATIONS, 2013, 439 (08) : 2500 - 2513
- [47] A NOTE ON BOOLEAN MATRIX MULTIPLICATION [J]. INFORMATION PROCESSING LETTERS, 1984, 19 (05) : 249 - 251
- [49] A NOTE ON BOOLEAN MATRIX THEORY [J]. PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 1952, 3 (03) : 382 - 388
- [50] Bayesian Boolean Matrix Factorisation [J]. INTERNATIONAL CONFERENCE ON MACHINE LEARNING, VOL 70, 2017, 70