共 50 条
- [41] Iteratively Checking Program Properties Involving Non-Boolean Values 51ST ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS - SUPPLEMENTAL VOL (DSN 2021), 2021, : 7 - 8
- [43] Beyond Charge-Based Computation: Boolean and Non-Boolean Computing With Spin Torque Devices 2013 IEEE INTERNATIONAL SYMPOSIUM ON LOW POWER ELECTRONICS AND DESIGN (ISLPED), 2013, : 139 - 142
- [45] The (parallel) approximability of non-Boolean satisfiability problems and restricted integer programming STACS 98 - 15TH ANNUAL SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE, 1998, 1373 : 488 - 498
- [46] Proposal for nanoscale cascaded plasmonic majority gates for non-Boolean computation Scientific Reports, 7
- [47] Sampling methods applied to dense instances of non-boolean optimization problems RANDOMIZATION AND APPROXIMATION TECHNIQUES IN COMPUTER SCIENCE, 1998, 1518 : 357 - 368
- [48] New Lower Bounds for Polynomial Calculus over Non-Boolean Bases Leibniz Int. Proc. Informatics, LIPIcs,
- [49] Emulating Optically Inspired Massively Parallel non-Boolean Operators on FPGA 2014 14TH INTERNATIONAL WORKSHOP ON CELLULAR NANOSCALE NETWORKS AND THEIR APPLICATIONS (CNNA), 2014,