A SAT Approach to the Initial Mapping Problem in SWAP Gate Insertion for Commuting Gates
- Atsushi Matsuo
- Shigeru Yamashita
- et al.
- 2023
- IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
Publications
3556 results for Mathematical Sciences
Convexifying multilinear sets with cardinality constraints: Structural properties, nested case and extensions
- Rui Chen
- Sanjeeb Dash
- et al.
- 2023
- Discrete Optimization
BLEACH: Cleaning Errors in Discrete Computations Over CKKS
- Nir Drucker
- Guy Moshkowich
- et al.
- 2023
- Journal of Cryptology
Structure-informed clustering for population stratification in association studies
- Aritra Bose
- Myson Burch
- et al.
- 2023
- BMC Bioinformatics
Simple Yet Effective Approach to Generalized Few-Shot Semantic Segmentation
- 2023
- IBISML 2023
Regularized multi-trait multi-locus linear mixed models for genome-wide association studies and genomic selection in crops
- Aurélie C. Lozano
- Hantian Ding
- et al.
- 2023
- BMC Bioinformatics
Quality and reliability monitoring in multi-stage processes
- Emmanuel Yashchin
- 2023
- INFORMS 2023
Stochastic Optimization Methods With Momentum
- Trang H. Tran
- Lam Nguyen
- et al.
- 2023
- INFORMS 2023
Sequential Decision Making (SDM) With Long Term Reward Estimates.
- Pavankumar Murali
- Shankar Subramaniam
- et al.
- 2023
- INFORMS 2023
Optimal Sensor Placement for Linear Inverse Problems with Nonnegativity Constraints
- Xinchao Liu
- Dzung Phan
- et al.
- 2023
- INFORMS 2023