共 50 条
- [31] A Circuit-Based SAT Solver for Logic Synthesis 2021 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER AIDED DESIGN (ICCAD), 2021,
- [32] Equivalent Circuit-Based Modeling of Resonant Effects Journal of the Institute of Electrical Engineers of Japan, 2024, 144 (11): : 706 - 708
- [33] Microcavity Laser Oscillating in a Circuit-Based Resonator SCIENCE, 2010, 327 (5972) : 1495 - 1497
- [34] A New Circuit-Based EBG Design Technique for the Isolation Improvement between Monopole Antennas 2021 IEEE-APS TOPICAL CONFERENCE ON ANTENNAS AND PROPAGATION IN WIRELESS COMMUNICATIONS (APWC), 2021, : 1 - 4
- [35] QuteSAT: A robust circuit-based SAT solver for complex circuit structure 2007 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION, VOLS 1-3, 2007, : 1313 - 1318
- [36] Photonic integrated circuit-based imaging system for SPIDER 2017 CONFERENCE ON LASERS AND ELECTRO-OPTICS PACIFIC RIM (CLEO-PR), 2017,
- [37] Circuit-Based Hydrodynamic Modeling of AlGaN/GaN HEMTs 49TH EUROPEAN SOLID-STATE DEVICE RESEARCH CONFERENCE (ESSDERC 2019), 2019, : 270 - 273
- [38] Molecular genetics and imaging technologies for circuit-based neuroanatomy Nature, 2009, 461 : 900 - 907
- [39] CPV: A Circuit-Based Program Verifier (Competition Contribution) TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PT III, TACAS 2024, 2024, 14572 : 365 - 370