Pinned Loading

1. COVERTRACE-SAT COVERTRACE-SAT Public

   COVERTRACE-SAT as Disjoint-Subcube Knowledge Compilation: Worst-Case Fragmentation, Conditional PH Collapse, and Connections to Geometric Complexity Theory

   C++ 2

2. SATX-Avant-Garde SATX-Avant-Garde Public

   Investigación de vanguardia en SATX y resultados interesantes o importantes.

   Jupyter Notebook 2

3. SATX SATX Public

   SATX es un lenguaje formal y motor de decisión para el modelado, análisis y resolución de sistemas complejos bajo restricciones, especialmente aquellos caracterizados por conflictos estructurales e…

   Python 6 1

4. Kinematic-Foundations-of-Relational-Geometry-and-Informational-Limits-of-Agency Kinematic-Foundations-of-Relational-Geometry-and-Informational-Limits-of-Agency Public

   This document establishes a rigorous unified mathematical framework that connects four traditionally separate domains: computational logic, discrete geometry, quantum many-body theory, and operatio…

   2

5. The-Geometry-of-the-Unknowable The-Geometry-of-the-Unknowable Public

   Epistemic Curvature, Discrete Geometry, and the Limits of Knowledge

   2

6. SLIME SLIME Public

   SLIME Cloud: A Free Massive World Class High Performance SAT Solver, Winner of Crypto Track and 3rd place on Cloud Track at the SAT Competition 2021.

   C++ 7