:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Wen, Weihuang, Yu, Tianshu
Format:	Preprint
Published:	2023
Subjects:	Machine Learning Artificial Intelligence
Online Access:	https://arxiv.org/abs/2302.00272
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

High-Throughput SAT Sampling
by: Ardakani, Arash, et al.
Published: (2025)

SATURN: SAT-based Reinforcement Learning to Unleash LLMs Reasoning
by: Liu, Huanyu, et al.
Published: (2025)

NeuroBack: Improving CDCL SAT Solving using Graph Neural Networks
by: Wang, Wenxi, et al.
Published: (2021)

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

Neural Approaches to SAT Solving: Design Choices and Interpretability
by: Mojžíšek, David, et al.
Published: (2025)

Transfer Learning from Foundational Optimization Embeddings to Unsupervised SAT Representations
by: Pal, Koyena, et al.
Published: (2026)

The OPS-SAT benchmark for detecting anomalies in satellite telemetry
by: Ruszczak, Bogdan, et al.
Published: (2024)

Graph Learning with Distributional Edge Layouts
by: Zhao, Xinjian, et al.
Published: (2024)

A Reinforcement Learning based Reset Policy for CDCL SAT Solvers
by: Li, Chunxiao, et al.
Published: (2024)

A Geometric Perspective on the Difficulties of Learning GNN-based SAT Solvers
by: Skenderi, Geri
Published: (2025)

Can Transformers Reason Logically? A Study in SAT Solving
by: Pan, Leyan, et al.
Published: (2024)

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

Have Large Language Models Learned to Reason? A Characterization via 3-SAT Phase Transition
by: Hazra, Rishi, et al.
Published: (2025)

Predictive Modeling of Effluent Temperature in SAT Systems Using Ambient Meteorological Data: Implications for Infiltration Management
by: Elkayam, Roy
Published: (2025)

Mapping of Land Use and Land Cover (LULC) using EuroSAT and Transfer Learning
by: Kunwar, Suman, et al.
Published: (2023)

Enhancing Graph Self-Supervised Learning with Graph Interplay
by: Zhao, Xinjian, et al.
Published: (2024)

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

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

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

HyperSAT: Unsupervised Hypergraph Neural Networks for Weighted MaxSAT Problems
by: Chen, Qiyue, et al.
Published: (2025)

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

ReaLitE: Enrichment of Relation Embeddings in Knowledge Graphs using Numeric Literals
by: Klironomos, Antonis, et al.
Published: (2025)

Rethinking Spectral Augmentation for Contrast-based Graph Self-Supervised Learning
by: Jian, Xiangru, et al.
Published: (2024)

An Incremental MaxSAT-based Model to Learn Interpretable and Balanced Classification Rules
by: Júnior, Antônio Carlos Souza Ferreira, et al.
Published: (2024)

SATBench: Benchmarking LLMs' Logical Reasoning via Automated Puzzle Generation from SAT Formulas
by: Wei, Anjiang, et al.
Published: (2025)

TreeMIL: A Multi-instance Learning Framework for Time Series Anomaly Detection with Inexact Supervision
by: Liu, Chen, et al.
Published: (2024)

100 instances is all you need: predicting the success of a new LLM on unseen data by testing on a few instances
by: Pacchiardi, Lorenzo, et al.
Published: (2024)

ReMAP: Neural Reparameterization for Scalable MAP Inference in Arbitrary-Order Markov Random Fields
by: Wang, Yaomin, et al.
Published: (2024)

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

A Two-Stage Algorithm for Cost-Efficient Multi-instance Counterfactual Explanations
by: Artelt, André, et al.
Published: (2024)

Heterogeneous Graph Prompt Learning via Adaptive Weight Pruning
by: Wei, Chu-Yuan, et al.
Published: (2025)

Weighted Graph Structure Learning with Attention Denoising for Node Classification
by: Wang, Tingting, et al.
Published: (2025)

On Accelerating Diffusion-based Molecular Conformation Generation in SE(3)-invariant Space
by: Zhou, Zihan, et al.
Published: (2023)

AdaGamma: State-Dependent Discounting for Temporal Adaptation in Reinforcement Learning
by: Wang, Yaomin, et al.
Published: (2026)

Multi-order Graph Clustering with Adaptive Node-level Weight Learning
by: Liu, Ye, et al.
Published: (2024)

Enhancing Local Search for MaxSAT with Deep Differentiation Clause Weighting
by: Jiang, Menghua, et al.
Published: (2025)

The Sparse Tsetlin Machine: Sparse Representation with Active Literals
by: Østby, Sebastian, et al.
Published: (2024)

Heterogeneous Graph Structure Learning through the Lens of Data-generating Processes
by: Jiang, Keyue, et al.
Published: (2025)

Classification of autoimmune diseases from Peripheral blood TCR repertoires by multimodal multi-instance learning
by: Zhang, Ruihao, et al.
Published: (2025)