The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Konstantin Korovin" ( http://dblp.L3S.de/Authors/Konstantin_Korovin )

URL (Homepage):  http://www.cs.man.ac.uk/~korovink/  Author page on DBLP  Author page in RDF  Community of Konstantin Korovin in ASPL-2

Publication years (Num. hits)
2000-2007 (15) 2008-2013 (18) 2014-2019 (11)
Publication types (Num. hits)
article(6) inproceedings(35) proceedings(3)
Venues (Conferences, Journals, ...)
CoRR(4) IJCAR(4) CADE(3) LICS(3) CSL(2) Ershov Memorial Conference(2) FMCAD(2) FroCos(2) IWIL@LPAR(2) ACM Trans. Comput. Log.(1) ARW(1) CASC(1) CP(1) FSTTCS(1) GCAI(1) ICALP(1) More (+10 of total 29)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 2 occurrences of 2 keywords

Results
Found 45 publication records. Showing 44 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Franz Brauße, Konstantin Korovin, Margarita V. Korovina, Norbert Th. Müller A CDCL-style calculus for solving non-linear constraints. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Andrzej Stanislaw Kucik, Konstantin Korovin Premise selection with neural networks and distributed representation of features. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Julio Cesar Lopez Hernandez, Konstantin Korovin An Abstraction-Refinement Framework for Reasoning with Large Theories. Search on Bibsonomy IJCAR The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Julio Cesar Lopez Hernandez, Konstantin Korovin Towards an Abstraction-Refinement Framework for Reasoning with Large Theories. Search on Bibsonomy IWIL@LPAR The full citation details ... 2017 DBLP  BibTeX  RDF
1Andrew Currin, Konstantin Korovin, Maria Ababi, Katherine Roper, Douglas B. Kell, Philip J. Day, Ross D. King Computing exponentially faster: Implementing a nondeterministic universal Turing machine using DNA. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Zurab Khasidashvili, Konstantin Korovin Predicate Elimination for Preprocessing in First-Order Theorem Proving. Search on Bibsonomy SAT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Zurab Khasidashvili, Konstantin Korovin, Dmitry Tsarkov EPR-based k-induction with Counterexample Guided Abstraction Refinement. Search on Bibsonomy GCAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Konstantin Korovin, Margus Veanes Skolemization Modulo Theories. Search on Bibsonomy ICMS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Konstantin Korovin, Marek Kosta, Thomas Sturm 0001 Towards Conflict-Driven Learning for Virtual Substitution. Search on Bibsonomy SMT The full citation details ... 2014 DBLP  BibTeX  RDF
1Konstantin Korovin, Marek Kosta, Thomas Sturm 0001 Towards Conflict-Driven Learning for Virtual Substitution. Search on Bibsonomy CASC The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Santiago Escobar, Konstantin Korovin, Vladimir V. Rybakov (eds.) UNIF 2012 Post-Worskhop Proceedings. The 26th International Workshop on Unification, Manchester, UK, July 1, 2012 Search on Bibsonomy UNIF The full citation details ... 2014 DBLP  BibTeX  RDF
1Konstantin Korovin, Barbara Morawska (eds.) 27th International Workshop on Unification, UNIF 2013, Eindhoven, Netherlands, June 26, 2013 Search on Bibsonomy UNIF@RTA/TLCA The full citation details ... 2013 DBLP  BibTeX  RDF
1Konstantin Korovin Inst-Gen - A Modular Approach to Instantiation-Based Automated Reasoning. Search on Bibsonomy Programming Logics The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Nikolaj Bjørner, Arie Gurfinkel, Konstantin Korovin, Ori Lahav Instantiations, Zippers and EPR Interpolation. Search on Bibsonomy LPAR (short papers) The full citation details ... 2013 DBLP  BibTeX  RDF
1Konstantin Korovin, Stephan Schulz 0001, Eugenia Ternovska (eds.) IWIL 2012: The 9th International Workshop on the Implementation of Logics, Merida, Venezuela, March 10, 2012 Search on Bibsonomy IWIL@LPAR The full citation details ... 2013 DBLP  BibTeX  RDF
1Ioan Dragan, Konstantin Korovin, Laura Kovács, Andrei Voronkov Bound Propagation for Arithmetic Reasoning in Vampire. Search on Bibsonomy SYNASC The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Konstantin Korovin Non-cyclic Sorts for First-Order Satisfiability. Search on Bibsonomy FroCos The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Konstantin Korovin From Resolution and DPLL to Solving Arithmetic Constraints. Search on Bibsonomy FroCos The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Krystof Hoder, Zurab Khasidashvili, Konstantin Korovin, Andrei Voronkov Preprocessing techniques for first-order clausification. Search on Bibsonomy FMCAD The full citation details ... 2012 DBLP  BibTeX  RDF
1Moshe Emmer, Zurab Khasidashvili, Konstantin Korovin, Christoph Sticksel, Andrei Voronkov EPR-Based Bounded Model Checking at Word Level. Search on Bibsonomy IJCAR The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Konstantin Korovin, Andrei Voronkov Solving Systems of Linear Inequalities by Bound Propagation. Search on Bibsonomy CADE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Konstantin Korovin, Nestan Tsiskaridze, Andrei Voronkov Implementing Conflict Resolution. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Konstantin Korovin, Andrei Voronkov GoRRiLA and Hard Reality. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Moshe Emmer, Zurab Khasidashvili, Konstantin Korovin, Andrei Voronkov Encoding industrial hardware verification problems into effectively propositional logic. Search on Bibsonomy FMCAD The full citation details ... 2010 DBLP  BibTeX  RDF
1Konstantin Korovin, Christoph Sticksel Labelled Unit Superposition Calculi for Instantiation-Based Reasoning. Search on Bibsonomy LPAR (Yogyakarta) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Konstantin Korovin, Christoph Sticksel iProver-Eq: An Instantiation-Based Theorem Prover with Equality. Search on Bibsonomy IJCAR The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Konstantin Korovin, Nestan Tsiskaridze, Andrei Voronkov Conflict Resolution. Search on Bibsonomy CP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Konstantin Korovin Instantiation-Based Automated Reasoning: From Theory to Practice. Search on Bibsonomy CADE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Konstantin Korovin iProver - An Instantiation-Based Theorem Prover for First-Order Logic (System Description). Search on Bibsonomy IJCAR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Konstantin Korovin, Andrei Voronkov Integrating Linear Arithmetic into Superposition Calculus. Search on Bibsonomy CSL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Harald Ganzinger, Konstantin Korovin Theory Instantiation. Search on Bibsonomy LPAR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Konstantin Korovin, Andrei Voronkov Knuth-Bendix constraint solving is NP-complete. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Knuth-Bendix orders, automated deduction, Ordering constraints
1Konstantin Korovin, Andrei Voronkov Random Databases and Threshold for Monotone Non-recursive Datalog. Search on Bibsonomy MFCS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Harald Ganzinger, Konstantin Korovin Integrating Equational Reasoning into Instantiation-Based Theorem Proving. Search on Bibsonomy CSL The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Konstantin Korovin, Andrei Voronkov Orienting rewrite rules with the Knuth-Bendix order. Search on Bibsonomy Inf. Comput. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Konstantin Korovin, Andrei Voronkov An AC-Compatible Knuth-Bendix Order. Search on Bibsonomy CADE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Harald Ganzinger, Konstantin Korovin New Directions in Instantiation-Based Theorem Proving. Search on Bibsonomy LICS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Konstantin Korovin, Andrei Voronkov Orienting Equalities with the Knuth-Bendix Order. Search on Bibsonomy LICS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Konstantin Korovin, Andrei Voronkov Knuth-Bendix constraint solving is NP-complete Search on Bibsonomy CoRR The full citation details ... 2002 DBLP  BibTeX  RDF
1Konstantin Korovin, Andrei Voronkov The Decidability of the First-Order Theory of the Knuth-Bendix Order in the Case of Unary Signatures. Search on Bibsonomy FSTTCS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Konstantin Korovin, Andrei Voronkov Verifying Orientability of Rewrite Rules Using the Knuth-Bendix Order. Search on Bibsonomy RTA The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Konstantin Korovin, Andrei Voronkov Knuth-Bendix Constraint Solving Is NP-Complete. Search on Bibsonomy ICALP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Konstantin Korovin, Andrei Voronkov The Existential Theories of Term Algebras with the Knuth-Bendix Orderings are Decidable. Search on Bibsonomy ARW The full citation details ... 2000 DBLP  BibTeX  RDF
1Konstantin Korovin, Andrei Voronkov A Decision Procedure for the Existential Theory of Term Algebras with the Knuth-Bendix Ordering. Search on Bibsonomy LICS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #44 of 44 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license