Buchumschlag

Learning to Rank the Initial Branching Order of SAT Solvers

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Eriksson, Arvid, Poesia, Gabriel, Bresson, Roman, Johansson, Karl Henrik, Broman, David
Format:	Preprint
Veröffentlicht:	2026
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

Learning Formal Mathematics From Intrinsic Motivation
von: Poesia, Gabriel, et al.
Veröffentlicht: (2024)

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

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

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

A Reinforcement Learning based Reset Policy for CDCL SAT Solvers
von: Li, Chunxiao, 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)

Formal Mathematical Reasoning: A New Frontier in AI
von: Yang, Kaiyu, et al.
Veröffentlicht: (2024)

Semantic Bridges Between First Order c-Representations and Cost-Based Semantics: An Initial Perspective
von: Leisegang, Nicholas, 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)

Automatically discovering heuristics in a complex SAT solver with large language models
von: Sun, Yiwen, et al.
Veröffentlicht: (2025)

Metric Dynamic Equilibrium Logic
von: Becker, Arvid, et al.
Veröffentlicht: (2024)

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

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

System ASPMT2SMT:Computing ASPMT Theories by SMT Solvers
von: Bartholomew, Michael, et al.
Veröffentlicht: (2025)

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

Scaling Neuro-symbolic Problem Solving: Solver-Free Learning of Constraints and Objectives
von: Defresne, Marianne, et al.
Veröffentlicht: (2025)

Learning First-Order Rules with Relational Path Contrast for Inductive Relation Reasoning
von: Pan, Yudai, et al.
Veröffentlicht: (2021)

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

Counting Worlds Branching Time Semantics for post-hoc Bias Mitigation in generative AI
von: Buda, Alessandro G., et al.
Veröffentlicht: (2026)

Advantage-Guided Diffusion for Model-Based Reinforcement Learning
von: Foffano, Daniele, et al.
Veröffentlicht: (2026)

Rethinking Clause Management for CDCL SAT Solvers
von: Cai, Yalun, et al.
Veröffentlicht: (2026)

Neurosymbolic Decision Trees
von: Möller, Matthias, et al.
Veröffentlicht: (2025)

Technical Report -- A Context-Sensitive Multi-Level Similarity Framework for First-Order Logic Arguments: An Axiomatic Study
von: David, Victor, et al.
Veröffentlicht: (2026)

Towards Practical First-Order Model Counting
von: Kidambi, Ananth K., et al.
Veröffentlicht: (2025)

AI Space Physics: Constitutive boundary semantics for open AI institutions
von: Romanchuk, Oleg, et al.
Veröffentlicht: (2026)

LTLf Synthesis on First-Order Agent Programs in Nondeterministic Environments
von: Hofmann, Till, et al.
Veröffentlicht: (2024)

Faster Certified Symmetry Breaking Using Orders With Auxiliary Variables
von: Anders, Markus, et al.
Veröffentlicht: (2025)

Value Function Initialization for Knowledge Transfer and Jump-start in Deep Reinforcement Learning
von: Mehimeh, Soumia
Veröffentlicht: (2025)

Adding Circumscription to Decidable Fragments of First-Order Logic: A Complexity Rollercoaster
von: Lutz, Carsten, et al.
Veröffentlicht: (2024)

From Blind Solvers to Logical Thinkers: Benchmarking LLMs' Logical Integrity on Faulty Mathematical Problems
von: Rahman, A M Muntasir, et al.
Veröffentlicht: (2024)

Twitch: Learning Abstractions for Equational Theorem Proving
von: Axelrod, Guy, et al.
Veröffentlicht: (2026)

Lemmanaid: Neuro-Symbolic Lemma Conjecturing
von: Alhessi, Yousef, et al.
Veröffentlicht: (2025)

Discussion Graph Semantics of First-Order Logic with Equality for Reasoning about Discussion and Argumentation
von: Arisaka, Ryuta
Veröffentlicht: (2024)

A Customized SAT-based Solver for Graph Coloring
von: Brand, Timo, et al.
Veröffentlicht: (2025)

Order-Sorted Intensional Logic: Expressing Subtyping Polymorphism with Typing Assertions and Quantification over Concepts
von: Marković, Đorđe, et al.
Veröffentlicht: (2025)

Can Language Models Pretend Solvers? Logic Code Simulation with LLMs
von: Chen, Minyu, et al.
Veröffentlicht: (2024)

Learning Concepts Definable in First-Order Logic with Counting
von: van Bergerem, Steffen
Veröffentlicht: (2019)