Adrian Craciun

According to our database, Adrian Craciun authored at least 11 papers between 2003 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2021

Kernelization, Proof Complexity and Social Choice.

Gabriel Istrate, Cosmin Bonchis, Adrian Craciun

Proceedings of the 48th International Colloquium on Automata, Languages, and Programming, 2021

2019

Gröbner Bases with Reduction Machines.

Georgiana Surlea, Adrian Craciun

Proceedings of the Proceedings Third Symposium on Working Formal Methods, 2019

2018

Short proofs of the Kneser-Lovász coloring principle.

James Aisenberg, Maria Luisa Bonet, Sam Buss, Adrian Craciun, Gabriel Istrate

Inf. Comput., 2018

2014

Proof Complexity and the Kneser-Lovász Theorem (I).

Gabriel Istrate, Adrian Craciun

CoRR, 2014

Proof Complexity and the Kneser-Lovász Theorem.

Gabriel Istrate, Adrian Craciun

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2014, 2014

2010

Type Inference for Regular Expression Pattern Matching.

Mircea Marin, Adrian Craciun

Proceedings of the 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2010

2009

Factorizations of Regular Hedge Languages.

Mircea Marin, Adrian Craciun

Proceedings of the 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2009

2007

Decompositions of Natural Numbers: From a Case Study in Mathematical Theory Exploration.

Adrian Craciun, Madalina Hodorog

Proceedings of the Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2007

2006

Theorema: Towards computer-aided mathematical theory exploration.

Bruno Buchberger, Adrian Craciun, Tudor Jebelean, Laura Kovács, Temur Kutsia, Koji Nakagawa, Florina Piroi, Nikolaj Popov, Judit Robu, Markus Rosenkranz, Wolfgang Windsteiger

J. Appl. Log., 2006

Scheme-Based Systematic Exploration of Natural Numbers.

Madalina Hodorog, Adrian Craciun

Proceedings of the 8th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2006), 2006

2003

Algorithm Synthesis by Lazy Thinking: Examples and Implementation in Theorema.

Bruno Buchberger, Adrian Craciun

Proceedings of the Mathematical Knowledge Management Symposium, 2003