Cover Image

Accelerating Discrete Facility Layout Optimization: A Hybrid CDCL and CP-SAT Architecture

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Gibson, Joshua, Dhakal, Kapil
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Circuit-Aware SAT Solving: Guiding CDCL via Conditional Probabilities
by: Zhu, Jiaying, et al.
Published: (2025)

A Reinforcement Learning based Reset Policy for CDCL SAT Solvers
by: Li, Chunxiao, et al.
Published: (2024)

NeuroBack: Improving CDCL SAT Solving using Graph Neural Networks
by: Wang, Wenxi, et al.
Published: (2021)

DeepCDCL: An CDCL-based Neural Network Verification Framework
by: Liu, Zongxin, et al.
Published: (2024)

Depth-Optimal Quantum Layout Synthesis as SAT
by: Jakobsen, Anna B., et al.
Published: (2025)

Dsat: A Native SAT Solver for Discrete Logic
by: Zhang, Yaofang, et al.
Published: (2026)

AutoSAT: Automatically Optimize SAT Solvers via Large Language Models
by: Sun, Yiwen, et al.
Published: (2024)

torchmSAT: A GPU-Accelerated Approximation To The Maximum Satisfiability Problem
by: Hosny, Abdelrahman, et al.
Published: (2024)

TurboSAT: Gradient-Guided Boolean Satisfiability Accelerated on GPU-CPU Hybrid System
by: Dai, Steve, et al.
Published: (2025)

Layout-Corrector: Alleviating Layout Sticking Phenomenon in Discrete Diffusion Model
by: Iwai, Shoma, et al.
Published: (2024)

Extracting Problem Structure with LLMs for Optimized SAT Local Search
by: Schidler, André, et al.
Published: (2025)

Text-to-Layout: A Generative Workflow for Drafting Architectural Floor Plans Using LLMs
by: Duggempudi, Jayakrishna, et al.
Published: (2025)

Thinking Out of the Box: Hybrid SAT Solving by Unconstrained Continuous Optimization
by: Zhang, Zhiwei, et al.
Published: (2025)

PP-DocLayout: A Unified Document Layout Detection Model to Accelerate Large-Scale Data Construction
by: Sun, Ting, et al.
Published: (2025)

NASH: Neural Architecture and Accelerator Search for Multiplication-Reduced Hybrid Models
by: Xu, Yang, et al.
Published: (2024)

GPU-RANC: A CUDA Accelerated Simulation Framework for Neuromorphic Architectures
by: Hassan, Sahil, et al.
Published: (2024)

Deeply Optimizing the SAT Solver for the IC3 Algorithm
by: Su, Yuheng, et al.
Published: (2025)

Certified MaxSAT Preprocessing
by: Ihalainen, Hannes, et al.
Published: (2024)

Rethinking Clause Management for CDCL SAT Solvers
by: Cai, Yalun, et al.
Published: (2026)

MILP-SAT-GNN: Yet Another Neural SAT Solver
by: Cardillo, Franco Alberto, et al.
Published: (2025)

A Knowledge Graph-based Retrieval-Augmented Generation Framework for Algorithm Selection in the Facility Layout Problem
by: S, Nikhil N, et al.
Published: (2025)

Patent Novelty Assessment Accelerating Innovation and Patent Prosecution
by: Kashyap, Kapil, et al.
Published: (2025)

LayoutVLM: Differentiable Optimization of 3D Layout via Vision-Language Models
by: Sun, Fan-Yun, et al.
Published: (2024)

Solving Cyclic Antibandwidth Problem by SAT
by: Xuan, Hieu Truong, et al.
Published: (2026)

Resource-Constrained Heuristic for Max-SAT
by: Matejek, Brian, et al.
Published: (2024)

Qompose: A Technique to Select Optimal Algorithm- Specific Layout for Neutral Atom Quantum Architectures
by: Silver, Daniel, et al.
Published: (2024)

LLM Routing as Reasoning: A MaxSAT View
by: Nguyen, Son, et al.
Published: (2026)

LLMs as Layout Designers: Enhanced Spatial Reasoning for Content-Aware Layout Generation
by: Li, Sha, et al.
Published: (2025)

AlphaMapleSAT: An MCTS-based Cube-and-Conquer SAT Solver for Hard Combinatorial Problems
by: Jha, Piyush, et al.
Published: (2024)

Grokking as a Variance-Limited Phase Transition: Spectral Gating and the Epsilon-Stability Threshold
by: Acharya, Pratyush, et al.
Published: (2026)

Illuminating Spaces: Deep Reinforcement Learning and Laser-Wall Partitioning for Architectural Layout Generation
by: Kakooee, Reza, et al.
Published: (2025)

An Artificial Intelligence Driven Semantic Similarity-Based Pipeline for Rapid Literature
by: Dhakal, Abhiyan, et al.
Published: (2025)

GLinSAT: The General Linear Satisfiability Neural Network Layer By Accelerated Gradient Descent
by: Zeng, Hongtai, et al.
Published: (2024)

Optimal Transport-based Permutation-Invariant Bayesian Optimization of Offshore Wind Farm Layouts
by: Candelieri, Antonio, et al.
Published: (2026)

Orbitopal Fixing in SAT
by: Anders, Markus, et al.
Published: (2026)

Orthologic for SAT Solving
by: de Haldat, Vladislas, et al.
Published: (2026)

High-Throughput SAT Sampling
by: Ardakani, Arash, et al.
Published: (2025)

SE-VGAE: Unsupervised Disentangled Representation Learning for Interpretable Architectural Layout Design Graph Generation
by: Chen, Jielin, et al.
Published: (2024)

W2SAT: Learning to generate SAT instances from Weighted Literal Incidence Graphs
by: Wen, Weihuang, et al.
Published: (2023)

Large Language Model (LLM) for Standard Cell Layout Design Optimization
by: Ho, Chia-Tung, et al.
Published: (2024)