:: Library Catalog

Copertina

Salvato in:

Dettagli Bibliografici
Autori principali:	Chancelier, Jean-Philippe, de Lara, Michel, Heymann, Benjamin
Natura:	Preprint
Pubblicazione:	2021
Soggetti:	Discrete Mathematics
Accesso online:	https://arxiv.org/abs/2108.03018
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

A formal proof of the Sands-Sauer-Woodrow theorem using the Rocq prover and mathcomp/ssreflect
di: Chancelier, Jean-Philippe
Pubblicazione: (2026)

A Computer-Assisted Proof of the Optimal Density Bound for Pinwheel Covering
di: Kawamura, Akitoshi, et al.
Pubblicazione: (2025)

Optimal Generation of Strictly Increasing Binary Trees and Beyond
di: Bodini, Olivier, et al.
Pubblicazione: (2024)

On Separating Path and Tree Systems in Graphs
di: Biniaz, Ahmad, et al.
Pubblicazione: (2023)

Short Proof: Exact Solution to the Finite Frobenius Coin Problem
di: De Gaspari, Lorenzo, et al.
Pubblicazione: (2025)

Search for an Immobile Hider on a Binary Tree with Unreliable Locational Information
di: Alpern, Steve, et al.
Pubblicazione: (2023)

Two Proofs of the Hamiltonian Cycle Identity
di: Sawczuk, Hamilton, et al.
Pubblicazione: (2025)

A Simplified Proof for the Edge-Density of 4-Planar Graphs
di: Büngener, Aaron
Pubblicazione: (2025)

Binary constraints on one additional variable can create exponential ascents
di: Cohen, David A., et al.
Pubblicazione: (2026)

Separation Number and Treewidth, Revisited
di: Houdrouge, Hussein, et al.
Pubblicazione: (2025)

A Proof of the 2004 Albert-Grossman-Nowakowski-Wolfe Conjecture on Alternating Linear Clobber
di: Chen, Xinyue, et al.
Pubblicazione: (2025)

A Proof of Talagrand's Creating Large Sets Conjecture
di: Fang, Xuan, et al.
Pubblicazione: (2025)

Separating the edges of a graph by cycles and by subdivisions of $K_4$
di: Botler, Fábio, et al.
Pubblicazione: (2024)

A recursive linear time modular decomposition algorithm via LexBFS
di: Corneil, Derek, et al.
Pubblicazione: (2007)

Boundedness and Separation in the Graph Covering Number Framework
di: Goetze, Miriam, et al.
Pubblicazione: (2025)

Reconsideration of Tangle and Ultrafilter using Separation and Partition
di: Fujita, Takaaki
Pubblicazione: (2023)

Spectral Moment of Order Four and the Uniqueness of the CCZ class of Dublin APN Permutation
di: Gillot, Valérie, et al.
Pubblicazione: (2025)

Normality of 8-Bit Bent Function
di: Gillot, Valérie, et al.
Pubblicazione: (2025)

Upper Bounds on the Average Height of Random Binary Trees
di: Benkner, Louisa Seelbach
Pubblicazione: (2024)

Decision problems on geometric tilings
di: de Menibus, Benjamin Hellouin, et al.
Pubblicazione: (2024)

Combinatorial generation via permutation languages. VI. Binary trees
di: Gregor, Petr, et al.
Pubblicazione: (2023)

A Knowledge Compilation Take on Binary Polynomial Optimization
di: Capelli, Florent, et al.
Pubblicazione: (2023)

LogicLearner: A Tool for the Guided Practice of Propositional Logic Proofs
di: Inamdar, Amogh, et al.
Pubblicazione: (2025)

Variants of Wythoff game with terminal positions or blocking maneuvers
di: Renard, Antoine, et al.
Pubblicazione: (2025)

A Necessary Condition for Connectedness of Solutions to Integer Linear Systems
di: Shigenobu, Takasugu, et al.
Pubblicazione: (2025)

Uniform Sampling and Visualization of 3D Reluctant Walks
di: Buckley, Benjamin, et al.
Pubblicazione: (2024)

A Courcelle-Type Metatheorem for Rank-Bounded Unconstrained Binary Optimization
di: Harary, Marc
Pubblicazione: (2025)

A Proof of Bala's General-$m$ Representation of the Harmonic Numbers
di: Niu, Tong
Pubblicazione: (2026)

Spectral Sufficient Conditions for Graph Factors
di: Ren, Fengyun, et al.
Pubblicazione: (2025)

Effective approach of the tridendriform Schroeder tree algebra
di: Catoire, Pierre, et al.
Pubblicazione: (2026)

Relational Algebras for Subset Selection and Optimisation
di: Pratten, David Robert, et al.
Pubblicazione: (2025)

Decomposition-Coordination Method for Finite Horizon Bandit Problems
di: de Lara, Michel, et al.
Pubblicazione: (2021)

The Interplay Between Domination and Separation in Graphs
di: Chakraborty, Dipayan, et al.
Pubblicazione: (2026)

Cops & Robber on Periodic Temporal Graphs
di: De Carufel, Jean-Lou, et al.
Pubblicazione: (2024)

A lattice on Dyck paths close to the Tamari lattice
di: Baril, Jean-Luc, et al.
Pubblicazione: (2023)

Cube Height, Cube Width and Related Extremal Problems for Posets
di: Bastide, Paul, et al.
Pubblicazione: (2025)

A quasi-optimal upper bound for induced paths in sparse graphs
di: Couëtoux, Basile, et al.
Pubblicazione: (2025)

An Alternate Proof of Near-Optimal Light Spanners
di: Bodwin, Greg
Pubblicazione: (2023)

Separation axiom $S_3$ for geodesic convexity in graphs
di: Chepoi, Victor
Pubblicazione: (2024)

Progress on Self Identifying Codes
di: Jean, Devin, et al.
Pubblicazione: (2025)