:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Nikos Dimitris Fakotakis
Format:	Recurso digital
Language:
Published:	Zenodo 2026
Online Access:	https://doi.org/10.5281/zenodo.19360306
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

Evaluating SAT and SMT Solvers on Large-Scale Sudoku Puzzles
by: Davis, Liam, et al.
Published: (2025)

Satisfiability of Quantified Boolean Announcements
by: van Ditmarsch, Hans, et al.
Published: (2022)

Accelerating Boolean Constraint Propagation for Efficient SAT-Solving on FPGAs
by: Govindasamy, Hariprasadh, 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)

Learning-Augmented Algorithms for Boolean Satisfiability
by: Attias, Idan, et al.
Published: (2025)

Inverse Intersections for Boolean Satisfiability Problems
by: Homer, Paul W.
Published: (2025)

parSAT: Parallel Solving of Floating-Point Satisfiability
by: Krahl, Markus, et al.
Published: (2025)

Rethinking the Soft Conflict Pseudo Boolean Constraint on MaxSAT Local Search Solvers
by: Zheng, Jiongzhi, et al.
Published: (2024)

Complexity of Satisfiability in Kochen-Specker Partial Boolean Algebras
by: Dawar, Anuj, et al.
Published: (2026)

Understanding GNNs for Boolean Satisfiability through Approximation Algorithms
by: Hůla, Jan, et al.
Published: (2024)

Sudoku-Bench: Evaluating creative reasoning with Sudoku variants
by: Seely, Jeffrey, et al.
Published: (2025)

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

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

Deducibility in Sudoku
by: Mašulović, Dragan
Published: (2022)

Optimal Matching Problem on the Boolean Cube
by: Feng, Shi
Published: (2025)

AIntelligent/Sudoku: HEK Sudoku version 1.1, 2006
by: Kartal, Hakan Emre
Published: (2025)

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

Recursions Satisfied by Families of Determinants with Applications to Resistance Distance
by: Evans, Emily J., et al.
Published: (2024)

Classifying the Concentration of the Boolean Cube for Dependent Distributions
by: Root, Jonathan, et al.
Published: (2024)

Sudoku / Michael Mepham
Published: (2006)

IB-Net: Initial Branch Network for Variable Decision in Boolean Satisfiability
by: Chan, Tsz Ho, et al.
Published: (2024)

The 2CNF Boolean Formula Satisfiability Problem and the Linear Space Hypothesis
by: Yamakami, Tomoyuki
Published: (2017)

qSAT: Design of an Efficient Quantum Satisfiability Solver for Hardware Equivalence Checking
by: Kole, Abhoy, et al.
Published: (2024)

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

Local Correction of Linear Functions over the Boolean Cube
by: Amireddy, Prashanth, et al.
Published: (2024)

Low Degree Local Correction Over the Boolean Cube
by: Amireddy, Prashanth, et al.
Published: (2024)

Hybrid Multiobjective Framework for Boolean Satisfiability Optimization With Application to Financial Risk Prediction
by: Hamza Abubakar, et al.
Published: (2026)

Solving Boolean Satisfiability Problems Using A Hypergraph-based Probabilistic Computer
by: He, Yihan, et al.
Published: (2025)

Accelerating Hybrid XOR$-$CNF Boolean Satisfiability Problems Natively with In-Memory Computing
by: Im, Haesol, et al.
Published: (2025)

Sudoku Number of Corona of Graphs
by: Nair, Manju S, et al.
Published: (2024)

The k-Sudoku Number of Graphs
by: Nair, Manju S, et al.
Published: (2025)

A multivariate extension of the Erdös-Taylor theorem
by: Lygkonis, Dimitris, et al.
Published: (2022)

The Borsuk Problem for Subsets of the Vertices of the 10-Dimensional Boolean Cube
by: Batmanov, Igor, et al.
Published: (2025)

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

Intersection numbers of Sudoku latin squares
by: Davies, Jade S., et al.
Published: (2026)

A Simple QUBO Formulation of Sudoku
by: Mücke, Sascha
Published: (2024)

An exactly solvable relativistic quantum Otto engine
by: Kollas, Nikos K., et al.
Published: (2023)