共 37 条
- [1] Common subexpression elimination involving multiple variables for linear DSP synthesis 15TH IEEE INTERNATIONAL CONFERENCE ON APPLICATION-SPECIFIC SYSTEMS, ARCHITECTURES AND PROCESSORS, PROCEEDINGS, 2004, : 202 - 212
- [2] Abstraction of word-level linear arithmetic functions from bit-level component descriptions DESIGN, AUTOMATION AND TEST IN EUROPE, CONFERENCE AND EXHIBITION 2001, PROCEEDINGS, 2001, : 4 - 8
- [3] A Bit-Vector Solver with Word-Level Propagation INTEGRATION OF AI AND OR TECHNIQUES IN CONSTRAINT PROGRAMMING, CPAIOR 2016, 2016, 9676 : 374 - 391
- [4] Word Rev: Finding Word-Level Structures in a Sea of Bit-Level Gates 2013 IEEE INTERNATIONAL SYMPOSIUM ON HARDWARE-ORIENTED SECURITY AND TRUST (HOST), 2013, : 67 - 74
- [5] On the representational power of bit-level and word-level decision diagrams PROCEEDINGS OF THE ASP-DAC '97 - ASIA AND SOUTH PACIFIC DESIGN AUTOMATION CONFERENCE 1997, 1996, : 461 - 467
- [6] Bit-level and word-level polynomial expressions for functions in Fibonacci interconnection topologies 31ST INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC, PROCEEDINGS, 2001, : 305 - 310
- [7] Modeling Combinational Circuits Using Linear Word-level Structures Automation and Remote Control, 2004, 65 : 1018 - 1032
- [10] Wombit: A Portfolio Bit-Vector Solver Using Word-Level Propagation Journal of Automated Reasoning, 2019, 63 : 723 - 762