Adrian Craciun

15 papers A* 1A 1Misc 4Journal 5Unranked 3
YearRankTypeTitle / Venue / Authors
2021 A* conf
Kernelization, Proof Complexity and Social Choice.
ICALP
Gabriel Istrate, Cosmin Bonchis, Adrian Craciun
2021 J jnl
Kernelization, Proof Complexity and Social Choice.
CoRR
Gabriel Istrate, Cosmin Bonchis, Adrian Craciun
2019 — conf
Gröbner Bases with Reduction Machines.
FROM
Georgiana Surlea, Adrian Craciun
2019 — ed.
Proceedings Third Symposium on Working Formal Methods, FROM 2019, Timişoara, Romania, 3-5 September 2019.
FROM
Mircea Marin, Adrian Craciun
2018 J jnl
Short proofs of the Kneser-Lovász coloring principle.
Inf. Comput.
James Aisenberg, Maria Luisa Bonet, Sam Buss, Adrian Craciun, Gabriel Istrate
2015 — conf
Short Proofs of the Kneser-Lovász Coloring Principle.
ICALP (2)
James Aisenberg, Maria Luisa Bonet, Sam Buss, Adrian Craciun, Gabriel Istrate
2015 J jnl
Short Proofs of the Kneser-Lovász Coloring Principle.
CoRR
James Aisenberg, Maria Luisa Bonet, Sam Buss, Adrian Craciun, Gabriel Istrate
2014 J jnl
Proof Complexity and the Kneser-Lovász Theorem (I).
CoRR
Gabriel Istrate, Adrian Craciun
2014 A conf
Proof Complexity and the Kneser-Lovász Theorem.
SAT
Gabriel Istrate, Adrian Craciun
2010 Misc conf
Type Inference for Regular Expression Pattern Matching.
SYNASC
Mircea Marin, Adrian Craciun
2009 Misc conf
Factorizations of Regular Hedge Languages.
SYNASC
Mircea Marin, Adrian Craciun
2007 Misc conf
Decompositions of Natural Numbers: From a Case Study in Mathematical Theory Exploration.
SYNASC
Adrian Craciun, Madalina Hodorog
2006 Misc conf
Scheme-Based Systematic Exploration of Natural Numbers.
SYNASC
Madalina Hodorog, Adrian Craciun
2006 J jnl
Theorema: Towards computer-aided mathematical theory exploration.
J. Appl. Log.
Bruno Buchberger, Adrian Craciun, Tudor Jebelean, Laura Kovács, Temur Kutsia, Koji Nakagawa, Florina Piroi, Nikolaj Popov, Judit Robu, Markus Rosenkranz, Wolfgang Windsteiger
2003 — conf
Algorithm Synthesis by Lazy Thinking: Examples and Implementation in Theorema.
MKM Symposium
Bruno Buchberger, Adrian Craciun