Imagen de Portada

Faster Certified Symmetry Breaking Using Orders With Auxiliary Variables

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Anders, Markus, Bogaerts, Bart, Bogø, Benjamin, Gontier, Arthur, Koops, Wietze, McCreesh, Ciaran, Myreen, Magnus O., Nordström, Jakob, Oertel, Andy, Rebola-Pardo, Adrian, Tan, Yong Kiam
Formato:	Preprint
Publicado:	2025
Materias:	Logic in Computer Science Artificial Intelligence
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Certified MaxSAT Preprocessing
por: Ihalainen, Hannes, et al.
Publicado: (2024)

Introducing The Maximum Common Bigraph Problem
por: Burns, Kyle, et al.
Publicado: (2026)

Formally Certified Approximate Model Counting
por: Tan, Yong Kiam, et al.
Publicado: (2024)

Efficient Certified Reasoning for Binarized Neural Networks
por: Yang, Jiong, et al.
Publicado: (2025)

Certifying MIP-based Presolve Reductions for 0-1 Integer Linear Programs
por: Hoen, Alexander, et al.
Publicado: (2024)

Verified VCG and Verified Compiler for Dafny
por: Nezamabadi, Daniel, et al.
Publicado: (2025)

Linear-Threshold Network Models for Describing and Analyzing Brain Dynamics
por: McCreesh, Michael, et al.
Publicado: (2024)

Short proofs without interference
por: Rebola-Pardo, Adrian
Publicado: (2025)

Approximate Dec-POMDP Solving Using Multi-Agent A*
por: Koops, Wietze, et al.
Publicado: (2024)

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

Baking for Dafny: A CakeML Backend for Dafny
por: Nezamabadi, Daniel, et al.
Publicado: (2025)

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

GOL in GOL in HOL: Verified Circuits in Conway's Game of Life
por: Myreen, Magnus O., et al.
Publicado: (2025)

Policy Verification in Stochastic Dynamical Systems Using Logarithmic Neural Certificates
por: Badings, Thom, et al.
Publicado: (2024)

Using Certifying Constraint Solvers for Generating Step-wise Explanations
por: Bleukx, Ignace, et al.
Publicado: (2025)

Exploiting Symmetries in MUS Computation (Extended version)
por: Bleukx, Ignace, et al.
Publicado: (2024)

Recollecting Resonances : Indonesian-Dutch Musical Encounters
por: Bogaerts, Els, et al.
Publicado: (2016)

Tighter Value-Function Approximations for POMDPs
por: Krale, Merlijn, et al.
Publicado: (2025)

Faster Symmetry Breaking Constraints for Abstract Structures
por: Akgün, Özgür, et al.
Publicado: (2025)

Emulation and History Matching using the hmer Package
por: Iskauskas, Andrew, et al.
Publicado: (2022)

Investigating Complex HPV Dynamics Using Emulation and History Matching
por: Iskauskas, Andrew, et al.
Publicado: (2024)

Approximation Fixpoint Theory with Refined Approximation Spaces
por: Vanbesien, Linde, et al.
Publicado: (2025)

satsuma: Structure-based Symmetry Breaking in SAT
por: Anders, Markus, et al.
Publicado: (2024)

The Complexity of Symmetry Breaking Beyond Lex-Leader
por: Anders, Markus, et al.
Publicado: (2024)

Incremental SAT-Based Enumeration of Solutions to the Yang-Baxter Equation
por: Van Caudenberg, Daimy, et al.
Publicado: (2025)

Learning Adapter Rank via Symmetry Breaking
por: Doyle, Cooper, et al.
Publicado: (2025)

Pure-state $N$-representability in current-spin-density-functional theory
por: Gontier, David
Publicado: (2015)

$N$-representability in non-collinear spin-polarized density functional theory
por: Gontier, David
Publicado: (2013)

Edge states for second order elliptic operators in a channel
por: Gontier, David
Publicado: (2021)

Existence of minimizers for Kohn-Sham within the Local Spin Density Approximation
por: Gontier, David
Publicado: (2014)

Certified but Fooled! Breaking Certified Defences with Ghost Certificates
por: Vo, Quoc Viet, et al.
Publicado: (2025)

Symmetry-Breaking Augmentations for Ad Hoc Teamwork
por: Hammond, Ravi, et al.
Publicado: (2024)

Expressiveness of SHACL Features and Extensions for Full Equality and Disjointness Tests
por: Bogaerts, Bart, et al.
Publicado: (2022)

A Category-Theoretic Perspective on Higher-Order Approximation Fixpoint Theory
por: Pollaci, Samuele, et al.
Publicado: (2024)

Integrality of Picard-Fuchs differential equations of Kobayashi geodesics and applications
por: Bogo, Gabriele
Publicado: (2025)

Memoria de Trabajo y Envejecimiento
por: Jorge Gontier B.
Publicado: (2004)

Faster algorithms on linear delta-matroids
por: Koana, Tomohiro, et al.
Publicado: (2024)

RoMa v2: Harder Better Faster Denser Feature Matching
por: Edstedt, Johan, et al.
Publicado: (2025)

Hohe krankheitsbedingte Sterblichkeit behindert Versuche zur Entwicklung einer Aalteichwirtschaft
por: Koops, H.
Publicado: (1973)

Gehegehaltung von Forellenarten im Ostseeküstenwasser
por: Koops, H.
Publicado: (1973)