BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
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:

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.
Interpolation and Symbol Elimination in Vampire (KH, LK, AV), pp. 188–195.
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.