BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Germany
1 × Italy
1 × Poland
1 × United Kingdom
3 × USA
Collaborated with:
A.Voronkov L.Kovács N.Bjørner L.M.d.Moura G.Reger M.S.0001
Talks about:
vampir (2) select (2) constraint (1) reachabl (1) proposit (1) properti (1) interpol (1) variabl (1) generat (1) general (1)

Person: Krystof Hoder

DBLP DBLP: Hoder:Krystof

Contributed to:

CADE 20132013
POPL 20122012
SAT 20122012
CADE 20112011
CAV 20112011
TACAS 20112011
IJCAR 20102010
IJCAR 20162016

Wrote 8 papers:

CADE-2013-HoderV
The 481 Ways to Split a Clause and Deal with Propositional Variables (KH, AV), pp. 450–464.
POPL-2012-HoderKV #game studies #proving
Playing in the grey area of proofs (KH, LK, AV), pp. 259–272.
SAT-2012-HoderB #reachability
Generalized Property Directed Reachability (KH, NB), pp. 157–171.
CADE-2011-HoderV #reasoning #scalability
Sine Qua Non for Large Theory Reasoning (KH, AV), pp. 299–314.
CAV-2011-HoderBM #constraints #fixpoint #named #performance
μZ — An Efficient Engine for Fixed Points with Constraints (KH, NB, LMdM), pp. 457–462.
TACAS-2011-HoderKV #generative #invariant
Invariant Generation in Vampire (KH, LK, AV), pp. 60–64.
IJCAR-2010-HoderKV
Interpolation and Symbol Elimination in Vampire (KH, LK, AV), pp. 188–195.
IJCAR-2016-HoderR0V
Selecting the Selection (KH, GR, MS0, AV), pp. 313–329.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.