Buchumschlag

Automatically discovering heuristics in a complex SAT solver with large language models

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Sun, Yiwen, Ye, Furong, Chen, Zhihan, Wei, Ke, Cai, Shaowei
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Artificial Intelligence Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

A general optimization solver based on OP-to-MaxSAT reduction
von: Zhao, Yuxin, et al.
Veröffentlicht: (2026)

AutoSAT: Automatically Optimize SAT Solvers via Large Language Models
von: Sun, Yiwen, et al.
Veröffentlicht: (2024)

Finding hardness reductions automatically using SAT solvers
von: Bergold, Helena, et al.
Veröffentlicht: (2024)

Orbitopal Fixing in SAT
von: Anders, Markus, et al.
Veröffentlicht: (2026)

Orthologic for SAT Solving
von: de Haldat, Vladislas, et al.
Veröffentlicht: (2026)

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

Revisiting Restarts of CDCL: Should the Search Information be Preserved?
von: Zhang, Xindi, et al.
Veröffentlicht: (2024)

Deeply Optimizing the SAT Solver for the IC3 Algorithm
von: Su, Yuheng, et al.
Veröffentlicht: (2025)

Learning to Rank the Initial Branching Order of SAT Solvers
von: Eriksson, Arvid, et al.
Veröffentlicht: (2026)

Dsat: A Native SAT Solver for Discrete Logic
von: Zhang, Yaofang, et al.
Veröffentlicht: (2026)

Mathematics with large language models as provers and verifiers
von: Duc, Hieu Le, et al.
Veröffentlicht: (2025)

Evaluating SAT and SMT Solvers on Large-Scale Sudoku Puzzles
von: Davis, Liam, et al.
Veröffentlicht: (2025)

A SAT-based approach to rigorous verification of Bayesian networks
von: Stępka, Ignacy, et al.
Veröffentlicht: (2024)

GaloisSAT: Differentiable Boolean Satisfiability Solving via Finite Field Algebra
von: Kim, Curie, et al.
Veröffentlicht: (2026)

Fuzzy Lattice-based Description Logic
von: Ding, Yiwen, et al.
Veröffentlicht: (2025)

SATBench: Benchmarking LLMs' Logical Reasoning via Automated Puzzle Generation from SAT Formulas
von: Wei, Anjiang, et al.
Veröffentlicht: (2025)

Approaching the Conway-99 problem using SAT solvers
von: Keramatipour, Ali
Veröffentlicht: (2026)

Can Transformers Reason Logically? A Study in SAT Solving
von: Pan, Leyan, et al.
Veröffentlicht: (2024)

Defeasible Reasoning on Concepts
von: Ding, Yiwen, et al.
Veröffentlicht: (2024)

Transfer Learning from Foundational Optimization Embeddings to Unsupervised SAT Representations
von: Pal, Koyena, et al.
Veröffentlicht: (2026)

A Reinforcement Learning based Reset Policy for CDCL SAT Solvers
von: Li, Chunxiao, et al.
Veröffentlicht: (2024)

An action language-based formalisation of an abstract argumentation framework
von: Munro, Yann, et al.
Veröffentlicht: (2024)

StepProof: Step-by-step verification of natural language mathematical proofs
von: Hu, Xiaolin, et al.
Veröffentlicht: (2025)

A first-order logic characterization of safety and co-safety languages
von: Cimatti, Alessandro, et al.
Veröffentlicht: (2022)

FastLEC: Parallel Datapath Equivalence Checking with Hybrid Engines
von: Zhang, Xindi, et al.
Veröffentlicht: (2025)

An Automated Theorem Generator with Theoretical Foundation Based on Rectangular Standard Contradiction
von: Xu, Yang, et al.
Veröffentlicht: (2025)

A Path Towards Legal Autonomy: An interoperable and explainable approach to extracting, transforming, loading and computing legal information using large language models, expert systems and Bayesian networks
von: Constant, Axel, et al.
Veröffentlicht: (2024)

Automatic Generation of Polynomial Symmetry Breaking Constraints
von: Erascu, Madalina, et al.
Veröffentlicht: (2026)

Abductive Reasoning in a Paraconsistent Framework
von: Bienvenu, Meghyn, et al.
Veröffentlicht: (2024)

RoboCertProb: Property Specification for Probabilistic RoboChart Models
von: Ye, Kangfeng, et al.
Veröffentlicht: (2024)

Order-theoretic models for decision-making: Learning, optimization, complexity and computation
von: Hack, Pedro
Veröffentlicht: (2024)

MSC-180: A Benchmark for Automated Formal Theorem Proving from Mathematical Subject Classification
von: Li, Sirui, et al.
Veröffentlicht: (2025)

First Order Logic with Fuzzy Semantics for Describing and Recognizing Nerves in Medical Images
von: Bloch, Isabelle, et al.
Veröffentlicht: (2025)

Policy-Adaptable Methods For Resolving Normative Conflicts Through Argumentation and Graph Colouring
von: Joyce, Johnny
Veröffentlicht: (2025)

Dynamic Logic of Trust-Based Beliefs
von: Jiang, Junli, et al.
Veröffentlicht: (2025)

The logic of KM belief update is contained in the logic of AGM belief revision
von: Bonanno, Giacomo
Veröffentlicht: (2026)

Similarity-based analogical proportions
von: Antić, Christian
Veröffentlicht: (2024)

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

A Reduction of Input/Output Logics to SAT
von: Steen, Alexander
Veröffentlicht: (2025)

A Horn extension of DL-Lite with NL data complexity
von: Arpasi, Janos, et al.
Veröffentlicht: (2026)