共 50 条
- [21] Succinct representations of functions AUTOMATA , LANGUAGES AND PROGRAMMING, PROCEEDINGS, 2004, 3142 : 1006 - 1015
- [28] Lattice-Based Boolean Diagrams Canonical, Order-Independent Graphical Representations of Boolean Functions 2016 21ST ASIA AND SOUTH PACIFIC DESIGN AUTOMATION CONFERENCE (ASP-DAC), 2016, : 468 - 473
- [30] Minimal representations of a finite distributive lattice by principal congruences of a lattice Acta Scientiarum Mathematicarum, 2019, 85 : 69 - 96