Konstantin Korovin

	2011
23		Konstantin Korovin, Andrei Voronkov: Solving Systems of Linear Inequalities by Bound Propagation. CADE 2011: 369-383
22		Konstantin Korovin, Andrei Voronkov: GoRRiLA and Hard Reality. Ershov Memorial Conference 2011: 243-250
21		Konstantin Korovin, Nestan Tsiskaridze, Andrei Voronkov: Implementing Conflict Resolution. Ershov Memorial Conference 2011: 362-376
	2010
20		Moshe Emmer, Zurab Khasidashvili, Konstantin Korovin, Andrei Voronkov: Encoding industrial hardware verification problems into effectively propositional logic. FMCAD 2010: 137-144
19		Konstantin Korovin, Christoph Sticksel: iProver-Eq: An Instantiation-Based Theorem Prover with Equality. IJCAR 2010: 196-202
18		Konstantin Korovin, Christoph Sticksel: Labelled Unit Superposition Calculi for Instantiation-Based Reasoning. LPAR (Yogyakarta) 2010: 459-473
	2009
17		Konstantin Korovin: Instantiation-Based Automated Reasoning: From Theory to Practice. CADE 2009: 163-166
16		Konstantin Korovin, Nestan Tsiskaridze, Andrei Voronkov: Conflict Resolution. CP 2009: 509-523
	2008
15		Konstantin Korovin: iProver - An Instantiation-Based Theorem Prover for First-Order Logic (System Description). IJCAR 2008: 292-298
	2007
14		Konstantin Korovin, Andrei Voronkov: Integrating Linear Arithmetic into Superposition Calculus. CSL 2007: 223-237
	2006
13		Harald Ganzinger, Konstantin Korovin: Theory Instantiation. LPAR 2006: 497-511
	2005
12		Konstantin Korovin, Andrei Voronkov: Random Databases and Threshold for Monotone Non-recursive Datalog. MFCS 2005: 591-602
11		Konstantin Korovin, Andrei Voronkov: Knuth-Bendix constraint solving is NP-complete. ACM Trans. Comput. Log. 6(2): 361-388 (2005)
	2004
10		Harald Ganzinger, Konstantin Korovin: Integrating Equational Reasoning into Instantiation-Based Theorem Proving. CSL 2004: 71-84
	2003
9		Konstantin Korovin, Andrei Voronkov: An AC-Compatible Knuth-Bendix Order. CADE 2003: 47-59
8		Harald Ganzinger, Konstantin Korovin: New Directions in Instantiation-Based Theorem Proving. LICS 2003: 55-64
7		Konstantin Korovin, Andrei Voronkov: Orienting Equalities with the Knuth-Bendix Order. LICS 2003: 75-
6		Konstantin Korovin, Andrei Voronkov: Orienting rewrite rules with the Knuth-Bendix order. Inf. Comput. 183(2): 165-186 (2003)
	2002
5		Konstantin Korovin, Andrei Voronkov: The Decidability of the First-Order Theory of the Knuth-Bendix Order in the Case of Unary Signatures. FSTTCS 2002: 230-240
4		Konstantin Korovin, Andrei Voronkov: Knuth-Bendix constraint solving is NP-complete CoRR cs.LO/0207068: (2002)
	2001
3		Konstantin Korovin, Andrei Voronkov: Knuth-Bendix Constraint Solving Is NP-Complete. ICALP 2001: 979-992
2		Konstantin Korovin, Andrei Voronkov: Verifying Orientability of Rewrite Rules Using the Knuth-Bendix Order. RTA 2001: 137-153
	2000
1		Konstantin Korovin, Andrei Voronkov: A Decision Procedure for the Existential Theory of Term Algebras with the Knuth-Bendix Ordering. LICS 2000: 291-302

Coauthor Index

1	Moshe Emmer	[20]
2	Harald Ganzinger	[8] [10] [13]
3	Zurab Khasidashvili	[20]
4	Christoph Sticksel	[18] [19]
5	Nestan Tsiskaridze	[16] [21]
6	Andrei Voronkov	[1] [2] [3] [4] [5] [6] [7] [9] [11] [12] [14] [16] [20] [21] [22] [23]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page