Adrian Craciun

Publication Activity (10 Years)

Years Active: 2004-2021
Publications (10 Years): 4

Top Topics

Computationally Feasible

Polynomial Equations

Top Venues

Publications

Gabriel Istrate, Cosmin Bonchis, Adrian Craciun
Kernelization, Proof Complexity and Social Choice. ICALP (2021)
Gabriel Istrate, Cosmin Bonchis, Adrian Craciun
Kernelization, Proof Complexity and Social Choice. CoRR (2021)
Georgiana Surlea, Adrian Craciun
Gröbner Bases with Reduction Machines. FROM (2019)
James Aisenberg, Maria Luisa Bonet, Sam Buss, Adrian Craciun, Gabriel Istrate
Short proofs of the Kneser-Lovász coloring principle. Inf. Comput. 261 (2018)
James Aisenberg, Maria Luisa Bonet, Sam Buss, Adrian Craciun, Gabriel Istrate
Short Proofs of the Kneser-Lovász Coloring Principle. CoRR (2015)
James Aisenberg, Maria Luisa Bonet, Sam Buss, Adrian Craciun, Gabriel Istrate
Short Proofs of the Kneser-Lovász Coloring Principle. ICALP (2) (2015)
Gabriel Istrate, Adrian Craciun
Proof Complexity and the Kneser-Lovász Theorem (I). CoRR (2014)
Gabriel Istrate, Adrian Craciun
Proof Complexity and the Kneser-Lovász Theorem. SAT (2014)
Mircea Marin, Adrian Craciun
Type Inference for Regular Expression Pattern Matching. SYNASC (2010)
Mircea Marin, Adrian Craciun
Factorizations of Regular Hedge Languages. SYNASC (2009)
Adrian Craciun, Madalina Hodorog
Decompositions of Natural Numbers: From a Case Study in Mathematical Theory Exploration. SYNASC (2007)
Bruno Buchberger, Adrian Craciun, Tudor Jebelean, Laura Kovács, Temur Kutsia, Koji Nakagawa, Florina Piroi, Nikolaj Popov, Judit Robu, Markus Rosenkranz, Wolfgang Windsteiger
Theorema: Towards computer-aided mathematical theory exploration. J. Appl. Log. 4 (4) (2006)
Madalina Hodorog, Adrian Craciun
Scheme-Based Systematic Exploration of Natural Numbers. SYNASC (2006)
Bruno Buchberger, Adrian Craciun
Algorithm Synthesis by Lazy Thinking: Examples and Implementation in Theorema. Electron. Notes Theor. Comput. Sci. 93 (2004)