:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Diestel, Reinhard
Format:	Preprint
Veröffentlicht:	2020
Schlagworte:	Artificial Intelligence Combinatorics
Online-Zugang:	https://arxiv.org/abs/2006.01830
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Tangle structure trees
von: von Bergen, Hanno, et al.
Veröffentlicht: (2026)

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

Artificial intelligence and machine learning generated conjectures with TxGraffiti
von: Davila, Randy
Veröffentlicht: (2024)

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

Profinite separation systems
von: Diestel, Reinhard, et al.
Veröffentlicht: (2018)

Applications of Explainable artificial intelligence in Earth system science
von: Huang, Feini, et al.
Veröffentlicht: (2024)

A grid theorem for strong immersions of walls
von: Diestel, Reinhard, et al.
Veröffentlicht: (2023)

Properties of regular Tangles
von: Bowen, Rebecca M., et al.
Veröffentlicht: (2024)

An AI enhanced approach to the tree unimodality conjecture
von: Ramos, Eric, et al.
Veröffentlicht: (2025)

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

BEAM: Bi-level Memory-adaptive Algorithmic Evolution for LLM-Powered Heuristic Design
von: Xiang, Chuyang, et al.
Veröffentlicht: (2026)

Automated conjecturing with \emph{TxGraffiti}
von: Davila, Randy
Veröffentlicht: (2024)

New Bounds for Zarankiewicz Numbers via Reinforced LLM Evolutionary Search
von: Bhan, Jay, et al.
Veröffentlicht: (2026)

On CNF formulas irredundant with respect to unit clause propagation
von: Savický, Petr
Veröffentlicht: (2023)

Doubly Saturated Ramsey Graphs: A Case Study in Computer-Assisted Mathematical Discovery
von: Przybocki, Benjamin, et al.
Veröffentlicht: (2026)

The \emph{Optimist}: Towards Fully Automated Graph Theory Research
von: Davila, Randy
Veröffentlicht: (2024)

Tangles are Decided by Weighted Vertex Sets
von: Elbracht, Christian, et al.
Veröffentlicht: (2018)

Taffy, Trees, and Tangles
von: Calkin, Neil J., et al.
Veröffentlicht: (2025)

Machine-assisted quantitizing designs: augmenting humanities and social sciences with artificial intelligence
von: Karjus, Andres
Veröffentlicht: (2023)

Canonical graph decompositions via coverings
von: Diestel, Reinhard, et al.
Veröffentlicht: (2022)

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

In Reverie Together: Ten Years of Mathematical Discovery with a Machine Collaborator
von: Davila, Randy, et al.
Veröffentlicht: (2025)

A Note on Generic Tangle Algorithms
von: Elbracht, Christian, et al.
Veröffentlicht: (2020)

A structural duality for path-decompositions into parts of small radius
von: Albrechtsen, Sandra, et al.
Veröffentlicht: (2023)

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

Reinforced Generation of Combinatorial Structures: Ramsey Numbers
von: Nagda, Ansh, et al.
Veröffentlicht: (2026)

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

Graph Neural Networks vs Convolutional Neural Networks for Graph Domination Number Prediction
von: Davila, Randy, et al.
Veröffentlicht: (2025)

The Packing Chromatic Number of the Infinite Square Grid is 15
von: Subercaseaux, Bernardo, et al.
Veröffentlicht: (2023)

Adaptation and Fine-tuning with TabPFN for Travelling Salesman Problem
von: Vu, Nguyen Gia Hien, et al.
Veröffentlicht: (2025)

Complement Submodular Information Measures for Balanced and Robust Data Selection
von: Iyer, Rishabh
Veröffentlicht: (2026)

Exact MAP inference in general higher-order graphical models using linear programming
von: Bechar, Ikhlef
Veröffentlicht: (2017)

Reconsideration of Tangle and Ultrafilter using Separation and Partition
von: Fujita, Takaaki
Veröffentlicht: (2023)

Matroid, Ideal, Ultrafilter, Tangle, and so on: Reconsideration of Obstruction to linear decomposition
von: Fujita, Takaaki
Veröffentlicht: (2023)

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

Agentic Neurosymbolic Collaboration for Mathematical Discovery: A Case Study in Combinatorial Design
von: Xia, Hai, et al.
Veröffentlicht: (2026)

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

Lifted Inference beyond First-Order Logic
von: Malhotra, Sagar, et al.
Veröffentlicht: (2023)

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

Five questions and answers about artificial intelligence
von: Prieto, Alberto, et al.
Veröffentlicht: (2024)