Copertina

torchmSAT: A GPU-Accelerated Approximation To The Maximum Satisfiability Problem

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Hosny, Abdelrahman, Reda, Sherief
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Artificial Intelligence
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

RobuMTL: Enhancing Multi-Task Learning Robustness Against Weather Conditions
di: Shaffee, Tasneem, et al.
Pubblicazione: (2026)

PoliTune: Analyzing the Impact of Data Selection and Fine-Tuning on Economic and Political Biases in Large Language Models
di: Agiza, Ahmed, et al.
Pubblicazione: (2024)

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

MTLoRA: A Low-Rank Adaptation Approach for Efficient Multi-Task Learning
di: Agiza, Ahmed, et al.
Pubblicazione: (2024)

Integer Linear Programming Preprocessing for Maximum Satisfiability
di: Zhang, Jialu, et al.
Pubblicazione: (2025)

Certifying Pareto-Optimality in Multi-Objective Maximum Satisfiability
di: Jabs, Christoph, et al.
Pubblicazione: (2025)

FF-INT8: Efficient Forward-Forward DNN Training on Edge Devices with INT8 Precision
di: Ma, Jingxiao, et al.
Pubblicazione: (2025)

GaloisSAT: Differentiable Boolean Satisfiability Solving via Finite Field Algebra
di: Kim, Curie, et al.
Pubblicazione: (2026)

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

Reliable Reasoning with Large Language Models via Preference-Based Maximum Satisfiability
di: Orvalho, Pedro, et al.
Pubblicazione: (2026)

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

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

GPU Accelerated Compact-Table Propagation
di: Santi, Enrico, et al.
Pubblicazione: (2025)

Accelerating Discrete Facility Layout Optimization: A Hybrid CDCL and CP-SAT Architecture
di: Gibson, Joshua, et al.
Pubblicazione: (2025)

Simply Trainable Nearest Neighbour Machine Translation with GPU Inference
di: Amer, Hossam, et al.
Pubblicazione: (2024)

Where the Really Hard Quadratic Assignment Problems Are: the QAP-SAT instances
di: Verel, Sébastien, et al.
Pubblicazione: (2024)

Solving the Two-dimensional single stock size Cutting Stock Problem with SAT and MaxSAT
di: Van Kieu, Tuyen, et al.
Pubblicazione: (2026)

Self-Satisfied: An end-to-end framework for SAT generation and prediction
di: Serrano, Christopher R., et al.
Pubblicazione: (2024)

Natural Language Satisfiability: Exploring the Problem Distribution and Evaluating Transformer-based Language Models
di: Madusanka, Tharindu, et al.
Pubblicazione: (2025)

Ludax: A GPU-Accelerated Domain Specific Language for Board Games
di: Todd, Graham, et al.
Pubblicazione: (2025)

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

Probably Approximately Correct Maximum A Posteriori Inference
di: Shorvon, Matthew, et al.
Pubblicazione: (2026)

Neurosymbolic Language Reasoning as Satisfiability Modulo Theory
di: Oh, Hyunseok, et al.
Pubblicazione: (2026)

Deciding the Satisfiability of Combined Qualitative Constraint Networks
di: Cohen-Solal, Quentin, et al.
Pubblicazione: (2026)

GPU-Accelerated ANNS: Quantized for Speed, Built for Change
di: McCoy, Hunter, et al.
Pubblicazione: (2026)

Implementation and Analysis of GPU Algorithms for Vecchia Approximation
di: James, Zachary, et al.
Pubblicazione: (2024)

Certified MaxSAT Preprocessing
di: Ihalainen, Hannes, et al.
Pubblicazione: (2024)

Approximate Logic Synthesis Using BLASYS
di: Ma, Jingxiao, et al.
Pubblicazione: (2025)

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

Satisfiability Modulo Theory Meets Inductive Logic Programming
di: Upreti, Nijesh, et al.
Pubblicazione: (2025)

On the Expressive Power of GNNs for Boolean Satisfiability
di: Peltonen, Saku, et al.
Pubblicazione: (2026)

Boolean Satisfiability via Imitation Learning
di: Zhang, Zewei, et al.
Pubblicazione: (2025)

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

JaxWildfire: A GPU-Accelerated Wildfire Simulator for Reinforcement Learning
di: Çakır, Ufuk, et al.
Pubblicazione: (2025)

Mahjax: A GPU-Accelerated Mahjong Simulator for Reinforcement Learning in JAX
di: Nishimori, Soichiro, et al.
Pubblicazione: (2026)

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

Continuous Optimization for Satisfiability Modulo Theories on Linear Real Arithmetic
di: Cen, Yunuo, et al.
Pubblicazione: (2026)

The challenges and realities of retailing in a COVID-19 world: Identifying trending and Vital During Crisis keywords during Covid-19 using Machine Learning (Austria as a case study)
di: Mastouri, Reda
Pubblicazione: (2021)

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