Adrian Crăciun

From MaRDI portal
Person:865640

Available identifiers

zbMath Open craciun.adrianWikidataQ102362240 ScholiaQ102362240MaRDI QIDQ865640

List of research outcomes





PublicationDate of PublicationType
Kernelization, Proof Complexity and Social Choice2021-04-28Paper
Short proofs of the Kneser-Lovász coloring principle2018-06-14Paper
Short Proofs of the Kneser-Lovász Coloring Principle2015-11-04Paper
Proof Complexity and the Kneser-Lovász Theorem2014-09-26Paper
Algorithm synthesis by lazy thinking: examples and implementation in Theorema2013-09-09Paper
https://portal.mardi4nfdi.de/entity/Q53922362011-04-08Paper
\textit{Theorema}: Towards computer-aided mathematical theory exploration2007-02-20Paper
https://portal.mardi4nfdi.de/entity/Q34164082007-01-22Paper

Research outcomes over time

This page was built for person: Adrian Crăciun

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:865640&oldid=11003707"
Powered by MediaWiki