Cover Image

Time-Bounded SAT Fixed Point with Explicit Cook-Levin Accounting

Fuente: Zenodo

Saved in:

Bibliographic Details
Main Author:	Oertel, Jacob S.
Format:	Recurso digital
Language:	English
Published:	Zenodo 2025
Subjects:	Computers Computer Systems
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A Fixed Point Framework for the Existence of EFX Allocations
by: Etesami, S. Rasoul
Published: (2025)

Orbitopal Fixing in SAT
by: Anders, Markus, et al.
Published: (2026)

Fixed Point Certificates for Reachability and Expected Rewards in MDPs
by: Chatterjee, Krishnendu, et al.
Published: (2025)

Numerically Robust Fixed-Point Smoothing Without State Augmentation
by: Krämer, Nicholas
Published: (2024)

Accounting as Evaluation, as Reporting: The Uses of Online Accounting Systems.
by: Clark, Philip M.
Published: (1985)

On Explicit Solutions to Fixed-Point Equations in Propositional Dynamic Logic
by: Lyon, Tim S.
Published: (2024)

The Retro-Harmonic Equation: A Mathematical Framework for Phase Coherence Across Quantum, Neural, and AI Systems
by: Oertel, Jacob
Published: (2025)

The Epistemic Support-Point Filter (ESPF): A Bounded Possibilistic Framework for Ordinal State Estimation
by: Jah, Moriba, et al.
Published: (2025)

Time-Fair Benchmarking for Metaheuristics: A Restart-Fair Protocol for Fixed-Time Comparisons
by: Lian, Junbo Jacob
Published: (2025)

Fast Analysis of the OpenAI O1-Preview Model in Solving Random K-SAT Problem: Does the LLM Solve the Problem Itself or Call an External SAT Solver?
by: Marino, Raffaele
Published: (2024)

Responsible Agentic AI Requires Explicit Provenance
by: Hu, Jinwei, et al.
Published: (2026)

Narrative-Bound Intelligence: A Structural Account of Human–AI Interaction via Symbolic Persona Coding
by: Kim, Jace (Jeong Hyeon)
Published: (2026)

Explicit Reward Mechanisms for Local Flexibility in Renewable Energy Communities
by: Stegen, Thomas, et al.
Published: (2026)

Fix: externalizing network I/O in serverless computing
by: Deng, Yuhan, et al.
Published: (2025)

Supermartingales for Unique Fixed Points: A Unified Approach to Lower Bound Verification
by: Kura, Satoshi, et al.
Published: (2025)

AI-AI Esthetic Collaboration with Explicit Semiotic Awareness and Emergent Grammar Development
by: Moldovan, Nicanor I.
Published: (2025)

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

Spatial-VLN: Zero-Shot Vision-and-Language Navigation With Explicit Spatial Perception and Exploration
by: Yue, Lu, et al.
Published: (2026)

SOUS VIDE: Cooking Visual Drone Navigation Policies in a Gaussian Splatting Vacuum
by: Low, JunEn, et al.
Published: (2024)

Certified Branch-and-Bound MaxSAT Solving (Extended Version)
by: Vandesande, Dieter, et al.
Published: (2025)

Hidden Harmonic Structure, Universal Damping, and Stability Bounds in Nonlinear Contact Dynamics
by: Feng, Y. T.
Published: (2026)

Decoupling Speculation from Merit: The Identity-Bound Asset Integrity Model (IBAIM) for Sustainable Web3 Gaming
by: Xu, Jinliang
Published: (2026)

Phase-Bounded Broadcast Networks over Topologies of Communication
by: Guillou, Lucie, et al.
Published: (2024)

Solving SAT By Computing A Stable Set Of Points In Clusters
by: Goldberg, Eugene
Published: (2025)

On the Effect of Bounded Rationality in Electricity Markets
by: Yi, Lihui, et al.
Published: (2024)

Geode: A Zero-shot Geospatial Question-Answering Agent with Explicit Reasoning and Precise Spatio-Temporal Retrieval
by: Gupta, Devashish Vikas, et al.
Published: (2024)

Verification of Nonblockingness in Bounded Petri Nets With Minimax Basis Reachability Graphs
by: Gu, Chao, et al.
Published: (2020)

On the Impact of Bounded Rationality in Strategic Data Gathering
by: Anand, Anju, et al.
Published: (2024)

When Natural Strategies Meet Fuzziness and Resource-Bounded Actions (Extended Version)
by: Aruta, Marco, et al.
Published: (2025)

Bounding Transient Instability in Sensor Data Injected Nonlinear Stochastic Flight Dynamics
by: D, Surya Ratna Prakash, et al.
Published: (2026)

Fix the Structural Bottleneck: Context Compression via Explicit Information Transmission
by: Ye, Jiangnan, et al.
Published: (2026)

Active Inverse Methods in Stackelberg Games with Bounded Rationality
by: Chen, Jianguo, et al.
Published: (2025)

Optimizing Logical Execution Time Model for Both Determinism and Low Latency
by: Wang, Sen, et al.
Published: (2023)

Correction to “Time Management and Personal Efficiency in the Age of Computational and Systems Oncology”
Published: (2026)

Nonuniform-Grid Markov Chain Approximation of Continuous Processes with Time-Linear Moments
by: Kim, Do Hyun, et al.
Published: (2025)

DTInsight: A Tool for Explicit, Interactive, and Continuous Digital Twin Reporting
by: Fiter, Kérian, et al.
Published: (2025)

Robust Mean-Field Games with Risk Aversion and Bounded Rationality
by: Jeloka, Bhavini, et al.
Published: (2026)

Finch: Benchmarking Finance & Accounting across Spreadsheet-Centric Enterprise Workflows
by: Dong, Haoyu, et al.
Published: (2025)

Fixed-Priority and EDF Schedules for ROS2 Graphs on Uniprocessor
by: Bell, Oren, et al.
Published: (2025)

Diagonalizing Through the $ω$-Chain: Iterated Self-Certification on Bounded Turing Machines and its Least Fixed Point
by: Sung, Miara
Published: (2026)