共 50 条
- [2] Quadratic Sequential Computations of Boolean Mappings [J]. Theory of Computing Systems, 2004, 37 : 519 - 525
- [4] Volume Computation for Boolean Combination of Linear Arithmetic Constraints [J]. AUTOMATED DEDUCTION - CADE-22, 2009, 5663 : 453 - 468