:: Library Catalog

Image de couverture de livre

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Gibson, Joshua, Dhakal, Kapil
Format:	Preprint
Publié:	2025
Sujets:	Artificial Intelligence
Accès en ligne:	https://arxiv.org/abs/2512.18034
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Circuit-Aware SAT Solving: Guiding CDCL via Conditional Probabilities
par: Zhu, Jiaying, et autres
Publié: (2025)

A Reinforcement Learning based Reset Policy for CDCL SAT Solvers
par: Li, Chunxiao, et autres
Publié: (2024)

NeuroBack: Improving CDCL SAT Solving using Graph Neural Networks
par: Wang, Wenxi, et autres
Publié: (2021)

DeepCDCL: An CDCL-based Neural Network Verification Framework
par: Liu, Zongxin, et autres
Publié: (2024)

Depth-Optimal Quantum Layout Synthesis as SAT
par: Jakobsen, Anna B., et autres
Publié: (2025)

Dsat: A Native SAT Solver for Discrete Logic
par: Zhang, Yaofang, et autres
Publié: (2026)

AutoSAT: Automatically Optimize SAT Solvers via Large Language Models
par: Sun, Yiwen, et autres
Publié: (2024)

torchmSAT: A GPU-Accelerated Approximation To The Maximum Satisfiability Problem
par: Hosny, Abdelrahman, et autres
Publié: (2024)

Layout-Corrector: Alleviating Layout Sticking Phenomenon in Discrete Diffusion Model
par: Iwai, Shoma, et autres
Publié: (2024)

TurboSAT: Gradient-Guided Boolean Satisfiability Accelerated on GPU-CPU Hybrid System
par: Dai, Steve, et autres
Publié: (2025)

Thinking Out of the Box: Hybrid SAT Solving by Unconstrained Continuous Optimization
par: Zhang, Zhiwei, et autres
Publié: (2025)

Extracting Problem Structure with LLMs for Optimized SAT Local Search
par: Schidler, André, et autres
Publié: (2025)

Text-to-Layout: A Generative Workflow for Drafting Architectural Floor Plans Using LLMs
par: Duggempudi, Jayakrishna, et autres
Publié: (2025)

PP-DocLayout: A Unified Document Layout Detection Model to Accelerate Large-Scale Data Construction
par: Sun, Ting, et autres
Publié: (2025)

Rethinking Clause Management for CDCL SAT Solvers
par: Cai, Yalun, et autres
Publié: (2026)

Patent Novelty Assessment Accelerating Innovation and Patent Prosecution
par: Kashyap, Kapil, et autres
Publié: (2025)

GPU-RANC: A CUDA Accelerated Simulation Framework for Neuromorphic Architectures
par: Hassan, Sahil, et autres
Publié: (2024)

NASH: Neural Architecture and Accelerator Search for Multiplication-Reduced Hybrid Models
par: Xu, Yang, et autres
Publié: (2024)

Deeply Optimizing the SAT Solver for the IC3 Algorithm
par: Su, Yuheng, et autres
Publié: (2025)

A Knowledge Graph-based Retrieval-Augmented Generation Framework for Algorithm Selection in the Facility Layout Problem
par: S, Nikhil N, et autres
Publié: (2025)

MILP-SAT-GNN: Yet Another Neural SAT Solver
par: Cardillo, Franco Alberto, et autres
Publié: (2025)

Grokking as a Variance-Limited Phase Transition: Spectral Gating and the Epsilon-Stability Threshold
par: Acharya, Pratyush, et autres
Publié: (2026)

Certified MaxSAT Preprocessing
par: Ihalainen, Hannes, et autres
Publié: (2024)

LayoutVLM: Differentiable Optimization of 3D Layout via Vision-Language Models
par: Sun, Fan-Yun, et autres
Publié: (2024)

An Artificial Intelligence Driven Semantic Similarity-Based Pipeline for Rapid Literature
par: Dhakal, Abhiyan, et autres
Publié: (2025)

Qompose: A Technique to Select Optimal Algorithm- Specific Layout for Neutral Atom Quantum Architectures
par: Silver, Daniel, et autres
Publié: (2024)

Solving Cyclic Antibandwidth Problem by SAT
par: Xuan, Hieu Truong, et autres
Publié: (2026)

Resource-Constrained Heuristic for Max-SAT
par: Matejek, Brian, et autres
Publié: (2024)

AlphaMapleSAT: An MCTS-based Cube-and-Conquer SAT Solver for Hard Combinatorial Problems
par: Jha, Piyush, et autres
Publié: (2024)

GLinSAT: The General Linear Satisfiability Neural Network Layer By Accelerated Gradient Descent
par: Zeng, Hongtai, et autres
Publié: (2024)

LLM Routing as Reasoning: A MaxSAT View
par: Nguyen, Son, et autres
Publié: (2026)

Abstractive Summarization of Low resourced Nepali language using Multilingual Transformers
par: Dhakal, Prakash, et autres
Publié: (2024)

Illuminating Spaces: Deep Reinforcement Learning and Laser-Wall Partitioning for Architectural Layout Generation
par: Kakooee, Reza, et autres
Publié: (2025)

Orbitopal Fixing in SAT
par: Anders, Markus, et autres
Publié: (2026)

Orthologic for SAT Solving
par: de Haldat, Vladislas, et autres
Publié: (2026)

LLMs as Layout Designers: Enhanced Spatial Reasoning for Content-Aware Layout Generation
par: Li, Sha, et autres
Publié: (2025)

High-Throughput SAT Sampling
par: Ardakani, Arash, et autres
Publié: (2025)

W2SAT: Learning to generate SAT instances from Weighted Literal Incidence Graphs
par: Wen, Weihuang, et autres
Publié: (2023)

SE-VGAE: Unsupervised Disentangled Representation Learning for Interpretable Architectural Layout Design Graph Generation
par: Chen, Jielin, et autres
Publié: (2024)

Optimal Transport-based Permutation-Invariant Bayesian Optimization of Offshore Wind Farm Layouts
par: Candelieri, Antonio, et autres
Publié: (2026)