Cover Image

IB-Net: Initial Branch Network for Variable Decision in Boolean Satisfiability

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Chan, Tsz Ho, Xiao, Wenyi, Huang, Junhua, Zhen, Huiling, Tian, Guangji, Yuan, Mingxuan
Format:	Preprint
Published:	2024
Subjects:	Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

HDLdebugger: Streamlining HDL debugging with Large Language Models
by: Yao, Xufeng, et al.
Published: (2024)

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

Boolean Satisfiability via Imitation Learning
by: Zhang, Zewei, et al.
Published: (2025)

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

GraSS: Combining Graph Neural Networks with Expert Knowledge for SAT Solver Selection
by: Zhang, Zhanguang, et al.
Published: (2024)

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

Accelerating Large Language Model Reasoning via Speculative Search
by: Wang, Zhihai, et al.
Published: (2025)

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

Reasoning Scaffolding: Distilling the Flow of Thought from LLMs
by: Wen, Xiangyu, et al.
Published: (2025)

HardSATGEN: Understanding the Difficulty of Hard SAT Formula Generation and A Strong Structure-Hardness-Aware Baseline
by: Li, Yang, et al.
Published: (2023)

HyperTree Planning: Enhancing LLM Reasoning via Hierarchical Thinking
by: Gui, Runquan, et al.
Published: (2025)

An Open-source End-to-End Logic Optimization Framework for Large-scale Boolean Network with Reinforcement Learning
by: Li, Zhen, et al.
Published: (2024)

Solving Quantified Boolean Formulas with Few Existential Variables
by: Eriksson, Leif, et al.
Published: (2024)

Towards Objective and Unbiased Decision Assessments with LLM-Enhanced Hierarchical Attention Networks
by: Liu, Junhua, et al.
Published: (2024)

LinSATNet: The Positive Linear Satisfiability Neural Networks
by: Wang, Runzhong, et al.
Published: (2024)

SATformer: Transformer-Based UNSAT Core Learning
by: Shi, Zhengyuan, et al.
Published: (2022)

Learning Compact Boolean Networks
by: Wang, Shengpu, et al.
Published: (2026)

ShieldNet: Network-Level Guardrails against Emerging Supply-Chain Injections in Agentic Systems
by: Yuan, Zhuowen, et al.
Published: (2026)

Context Distillation as Latent Memory Management
by: Zheng, Ziyang, et al.
Published: (2026)

DARA: Few-shot Budget Allocation in Online Advertising via In-Context Decision Making with RL-Finetuned LLMs
by: Song, Mingxuan, et al.
Published: (2026)

BetterV: Controlled Verilog Generation with Discriminative Guidance
by: Pei, Zehua, et al.
Published: (2024)

Learning to Rank the Initial Branching Order of SAT Solvers
by: Eriksson, Arvid, et al.
Published: (2026)

Abstract Dialectical Frameworks are Boolean Networks (full version)
by: Heyninck, Jesse, et al.
Published: (2024)

Boolean Product Graph Neural Networks
by: Wang, Ziyan, et al.
Published: (2024)

Choice-75: A Dataset on Decision Branching in Script Learning
by: Hou, Zhaoyi Joey, et al.
Published: (2023)

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

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

MOSS: Efficient and Accurate FP8 LLM Training with Microscaling and Automatic Scaling
by: Zhang, Yu, et al.
Published: (2025)

Autoencoder-assisted Feature Ensemble Net for Incipient Faults
by: Gao, Mingxuan, et al.
Published: (2024)

On the Boolean Network Theory of Datalog$^\neg$
by: Trinh, Van-Giang, et al.
Published: (2025)

StructPrune: Structured Global Pruning asymptotics with $\mathcal{O}(\sqrt{N})$ GPU Memory
by: Song, Xinyuan, et al.
Published: (2025)

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

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

BGM-HAN: A Hierarchical Attention Network for Accurate and Fair Decision Assessment on Semi-Structured Profiles
by: Liu, Junhua, et al.
Published: (2025)

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

Gateways to Tractability for Satisfiability in Pearl's Causal Hierarchy
by: Ganian, Robert, et al.
Published: (2025)

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

From Subsumption to Satisfiability: LLM-Assisted Active Learning for OWL Ontologies
by: Zhao, Haoruo, et al.
Published: (2026)

Deploying Graph Neural Networks in Wireless Networks: A Link Stability Viewpoint
by: Li, Jun, et al.
Published: (2024)

Static Analysis of Logic Programs via Boolean Networks
by: Trinh, Van-Giang, et al.
Published: (2024)