Buchumschlag

The Community Structure of SAT Formulas

Fuente: Zenodo

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Ansótegui, Carlos, Giráldez-Cru, Jesús, Levy, Jordi
Format:	Recurso digital
Veröffentlicht:	Zenodo 2012
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Locality in Random SAT Instances
von: Giráldez-Cru, Jesús, et al.
Veröffentlicht: (2017)

SAT, Gadgets, Max2XOR, and Quantum Annealers
von: Ansótegui, Carlos, et al.
Veröffentlicht: (2024)

Opinion Dynamics with Highly Oscillating Opinions
von: Vargas-Pérez, Víctor A., et al.
Veröffentlicht: (2025)

Una introducción a los algoritmos de satisfactibilidad
von: Carlos Ansotegui
Veröffentlicht: (2003)

Edificio UNCTAD III: Construcción y consolidación de un espacio cultural y de sociabilidad popular (1972-1973)
von: Yanny Santa Cru
Veröffentlicht: (2022)

PLANIFICACIÓN CONTABLE Y DERECHOS DE EMISIÓN DE GASES DE EFECTO INVERNADERO
von: Ana Isabel Mateos Ansótegui
Veröffentlicht: (2007)

CONVERGENCIA INTERNACIONAL EN MATERIA DE SUBVENCIONES: REFERENCIA A LOS DERECHOS DE EMISIÓN DE GEI
von: Ana Isabel Mateos Ansótegui
Veröffentlicht: (2010)

Estilo de Liderança, Controle Gerencial e Inovação: Papel das Alavancas de Controle
von: Ana Paula Capuano da Cru
Veröffentlicht: (2015)

La importancia de las instrucciones del psicólogo para favorecer la adhesión terapéutica
von: Carlos Marchena-Giráldez
Veröffentlicht: (2013)

A Graphical #SAT Algorithm for Formulae with Small Clause Density
von: Laakkonen, Tuomas, et al.
Veröffentlicht: (2022)

“Soft Gold” Before the Gold Rush: Sea Otter Pelts in the “Competitive Expansion” of Merchant Capitalism and the Creation of a Pacific Ocean Economy
von: Arturo Giráldez
Veröffentlicht: (2023)

Assessing fault-tolerant quantum advantage for $k$-SAT with structure
von: Brehm, Martijn, et al.
Veröffentlicht: (2024)

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

Certified Branch-and-Bound MaxSAT Solving (Extended Version)
von: Vandesande, Dieter, et al.
Veröffentlicht: (2025)

PROGRAMAS DE DEPORTE ESCOLAR EN ESPAÑA E IMPLICACIÓN DE LOS AGENTES EDUCATIVOS
von: V. Arufe-Giráldez
Veröffentlicht: (2017)

Los espacios de la patria y la nación en el proyecto político de José Cecilio del Valle
von: Teresa García Giráldez
Veröffentlicht: (1996)

LA CIUDAD DESDE LA CASA: CIUDADES ESPONTÁNEAS EN LIMA
von: Elia Sáez Giraldez
Veröffentlicht: (2010)

Análisis dinámico de la capacidad portante del puente km 2.151 del ramal Dubrocq.
von: Reynaldo Giráldez Toledo
Veröffentlicht: (2020)

Presentación
von: Serafín Lemos Giráldez
Veröffentlicht: (2008)

Bases Clínicas para un Nuevo Modelo de Atención a las Psicosis
von: Serafín Lemos Giráldez
Veröffentlicht: (2010)

MANUAL DE CONSEJO PSICOLÓGICO: UNA VISIÓN DESPATOLOGIZADA DE LA PSICOLOGÍA CLÍNICA
von: Serafín Lemos Giráldez
Veröffentlicht: (2013)

La bioseguridad en el desarrollo tecnológico de las investigaciones biomédicas
von: Raisa González-Giraldez
Veröffentlicht: (2021)

Estudio descriptivo de los servicios ofrecidos para los usuarios de parques biosaludables de Galicia
von: Víctor Arufe Giráldez
Veröffentlicht: (2013)

Cambios arquitectónicos en la Frontera Sur de España: impermeabilizar, retardar y contener
von: Antonio Giráldez López
Veröffentlicht: (2019)

Influencia del tipo de centro en la práctica deportiva y las actividades de tiempo libre de escolares
von: Víctor Arufe-Giráldez
Veröffentlicht: (2017)

Reseña de "Análisis del nacionalismo mexicano en torno a la mestizofilia de Andrés Molina Enríquez" de Besave Benitez
von: Teresa García Giráldez
Veröffentlicht: (1993)

Simulación, engaño y mentira
von: Serafín Lemos Giráldez
Veröffentlicht: (2005)

La psicopatología de la infancia y la adolescencia: consideraciones básicas para su estudio
von: Serafín Lemos Giráldez
Veröffentlicht: (2003)

APORTES À PESQUISA SOBRE EDUCAÇÃO E TRABALHO NO MOVIMENTO DOS TRABALHADORES RURAIS SEM TERRA
von: Candido Giraldez Vieitez
Veröffentlicht: (2015)

SATBench: Benchmarking LLMs' Logical Reasoning via Automated Puzzle Generation from SAT Formulas
von: Wei, Anjiang, et al.
Veröffentlicht: (2025)

A recusa do tempo e suas implicações na subjetividade
von: Vera Lúcia Giraldez Canabrava
Veröffentlicht: (2008)

Efectos de los microplásticos en el medio ambiente: Un macroproblema emergente
von: Lisandro D. Giraldez Alvarez
Veröffentlicht: (2020)

Transición de la fuerza laboral femenina: Un estudio a nivel regional en España
von: María Soledad Otero Giráldez
Veröffentlicht: (2002)

Fundamento constitucional de la protección a las víctimas en el proceso penal español
von: Ana María Chocrón Giráldez
Veröffentlicht: (2008)

La exclusividad y la unidad jurisdiccionales como principios constitucionales en el ordenamiento jurídico español
von: Ana María Chocrón Giráldez
Veröffentlicht: (2005)

satsuma: Structure-based Symmetry Breaking in SAT
von: Anders, Markus, et al.
Veröffentlicht: (2024)

WalkSAT is linear on random 2-SAT
von: Berenbrink, Petra, et al.
Veröffentlicht: (2024)

New Algorithms for #2-SAT and #3-SAT
von: Peng, Junqiang, et al.
Veröffentlicht: (2025)

On the Regularity of Random 2-SAT and 3-SAT
von: Basse-O'Connor, Andreas, et al.
Veröffentlicht: (2025)

Structural analysis and vibration testing of the TUMnanoSAT microsatellite
von: Bostan, Viorel, et al.
Veröffentlicht: (2024)