Christoph Sticksel

According to our database, Christoph Sticksel authored at least 4 papers between 2010 and 2016.

Collaborative distances:

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

2016

The Kind 2 Model Checker.

Adrien Champion, Alain Mebsout, Christoph Sticksel, Cesare Tinelli

Proceedings of the Computer Aided Verification - 28th International Conference, 2016

2012

EPR-Based Bounded Model Checking at Word Level.

Moshe Emmer, Zurab Khasidashvili, Konstantin Korovin, Christoph Sticksel, Andrei Voronkov

Proceedings of the Automated Reasoning - 6th International Joint Conference, 2012

2010

Labelled Unit Superposition Calculi for Instantiation-Based Reasoning.

Konstantin Korovin, Christoph Sticksel

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010

iProver-Eq: An Instantiation-Based Theorem Prover with Equality.

Konstantin Korovin, Christoph Sticksel

Proceedings of the Automated Reasoning, 5th International Joint Conference, 2010