Christian Szegedy

zbMath Openszegedy.christianMaRDI QIDQ732239

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Towards the automatic mathematician	2021-12-01	Paper
A promising path towards autoformalization and general artificial intelligence	2021-01-20	Paper
Deep network guided proof search EPiC Series in Computing	2019-01-10	Paper
Modular code generation from synchronous block diagrams: modularity vs. code size Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages	2015-07-03	Paper
A class of problems for which cyclic relaxation converges linearly Computational Optimization and Applications	2009-10-09	Paper
On the cost of optimal alphabetic code trees with unequal letter costs European Journal of Combinatorics	2008-02-25	Paper
The delay of circuits whose inputs have specified arrival times Discrete Applied Mathematics	2007-06-26	Paper
Delay optimization of linear depth Boolean circuits with prescribed input arrival times Journal of Discrete Algorithms	2007-02-14	Paper
Symplectic spaces and ear-decomposition of matroids Combinatorica	2007-01-08	Paper
scientific article; zbMATH DE number 5042863 (Why is no real title available?)	2006-07-27	Paper
On the number of 3-edge colorings of cubic graphs European Journal of Combinatorics	2002-09-23	Paper

Research outcomes over time

This page was built for person: Christian Szegedy