TY - RPRT TI - Parallel Tempering for Logic Synthesis AU - Thomas Häner AU - Damian S. Steiger AU - Helmut G. Katzgraber PY - 2023 UR - https://arxiv.org/abs/2311.12394 ID - 2311.12394 ER -