:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Diestel, Reinhard
Format:	Preprint
Published:	2020
Subjects:	Artificial Intelligence Combinatorics
Online Access:	https://arxiv.org/abs/2006.01830
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Tangle structure trees
by: von Bergen, Hanno, et al.
Published: (2026)

Tangle structure trees II: trees of tangles and tangle-tree duality
by: von Bergen, Hanno, et al.
Published: (2026)

Artificial intelligence and machine learning generated conjectures with TxGraffiti
by: Davila, Randy
Published: (2024)

Traits and tangles: An analysis of the Big Five paradigm by tangle-based clustering
by: von Bergen, Hanno, et al.
Published: (2024)

Profinite separation systems
by: Diestel, Reinhard, et al.
Published: (2018)

Applications of Explainable artificial intelligence in Earth system science
by: Huang, Feini, et al.
Published: (2024)

A grid theorem for strong immersions of walls
by: Diestel, Reinhard, et al.
Published: (2023)

Properties of regular Tangles
by: Bowen, Rebecca M., et al.
Published: (2024)

An AI enhanced approach to the tree unimodality conjecture
by: Ramos, Eric, et al.
Published: (2025)

AlphaMapleSAT: An MCTS-based Cube-and-Conquer SAT Solver for Hard Combinatorial Problems
by: Jha, Piyush, et al.
Published: (2024)

BEAM: Bi-level Memory-adaptive Algorithmic Evolution for LLM-Powered Heuristic Design
by: Xiang, Chuyang, et al.
Published: (2026)

Automated conjecturing with \emph{TxGraffiti}
by: Davila, Randy
Published: (2024)

New Bounds for Zarankiewicz Numbers via Reinforced LLM Evolutionary Search
by: Bhan, Jay, et al.
Published: (2026)

On CNF formulas irredundant with respect to unit clause propagation
by: Savický, Petr
Published: (2023)

Doubly Saturated Ramsey Graphs: A Case Study in Computer-Assisted Mathematical Discovery
by: Przybocki, Benjamin, et al.
Published: (2026)

The \emph{Optimist}: Towards Fully Automated Graph Theory Research
by: Davila, Randy
Published: (2024)

Tangles are Decided by Weighted Vertex Sets
by: Elbracht, Christian, et al.
Published: (2018)

Taffy, Trees, and Tangles
by: Calkin, Neil J., et al.
Published: (2025)

Machine-assisted quantitizing designs: augmenting humanities and social sciences with artificial intelligence
by: Karjus, Andres
Published: (2023)

Canonical graph decompositions via coverings
by: Diestel, Reinhard, et al.
Published: (2022)

Polymorphic Combinatorial Frameworks (PCF): Guiding the Design of Mathematically-Grounded, Adaptive AI Agents
by: Pearl, David, et al.
Published: (2025)

In Reverie Together: Ten Years of Mathematical Discovery with a Machine Collaborator
by: Davila, Randy, et al.
Published: (2025)

A Note on Generic Tangle Algorithms
by: Elbracht, Christian, et al.
Published: (2020)

A structural duality for path-decompositions into parts of small radius
by: Albrechtsen, Sandra, et al.
Published: (2023)

Using Reasoning Models to Generate Search Heuristics that Solve Open Instances of Combinatorial Design Problems
by: Rosin, Christopher D.
Published: (2025)

Reinforced Generation of Combinatorial Structures: Ramsey Numbers
by: Nagda, Ansh, et al.
Published: (2026)

Semi-Autonomous Mathematics Discovery with Gemini: A Case Study on the Erdős Problems
by: Feng, Tony, et al.
Published: (2026)

Graph Neural Networks vs Convolutional Neural Networks for Graph Domination Number Prediction
by: Davila, Randy, et al.
Published: (2025)

The Packing Chromatic Number of the Infinite Square Grid is 15
by: Subercaseaux, Bernardo, et al.
Published: (2023)

Adaptation and Fine-tuning with TabPFN for Travelling Salesman Problem
by: Vu, Nguyen Gia Hien, et al.
Published: (2025)

Complement Submodular Information Measures for Balanced and Robust Data Selection
by: Iyer, Rishabh
Published: (2026)

Exact MAP inference in general higher-order graphical models using linear programming
by: Bechar, Ikhlef
Published: (2017)

Reconsideration of Tangle and Ultrafilter using Separation and Partition
by: Fujita, Takaaki
Published: (2023)

Matroid, Ideal, Ultrafilter, Tangle, and so on: Reconsideration of Obstruction to linear decomposition
by: Fujita, Takaaki
Published: (2023)

NIMS-OS: An automation software to implement a closed loop between artificial intelligence and robotic experiments in materials science
by: Tamura, Ryo, et al.
Published: (2023)

Agentic Neurosymbolic Collaboration for Mathematical Discovery: A Case Study in Combinatorial Design
by: Xia, Hai, et al.
Published: (2026)

Empirical Analysis Of Heuristic and Approximation Algorithms for the The Mutual-Visibility Problem
by: Stojanović, Vanja, et al.
Published: (2025)

Lifted Inference beyond First-Order Logic
by: Malhotra, Sagar, et al.
Published: (2023)

Spiers Memorial Lecture: How to do impactful research in artificial intelligence for chemistry and materials science
by: Cheng, Austin, et al.
Published: (2024)

Five questions and answers about artificial intelligence
by: Prieto, Alberto, et al.
Published: (2024)