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 × Austria
1 × China
1 × Italy
1 × Russia
1 × United Kingdom
2 × USA
Collaborated with:
O.Strichman A.Nadel A.Ivrii J.Kalechstain N.Dershowitz Y.Vizel
Talks about:
increment (4) sat (4) effici (2) preprocess (1) unsatisfi (1) interpol (1) restart (1) generat (1) extract (1) backbon (1)

Person: Vadim Ryvchin

DBLP DBLP: Ryvchin:Vadim

Contributed to:

SAT 20152015
SAT 20142014
CAV 20132013
SAT 20122012
SAT 20112011
SAT 20102010
SAT 20082008

Wrote 9 papers:

SAT-2015-IvriiRS #incremental #mining #satisfiability
Mining Backbone Literals in Incremental SAT — A New Kind of Incremental Data (AI, VR, OS), pp. 88–103.
SAT-2015-KalechstainRD
Hints Revealed (JK, VR, ND), pp. 71–87.
SAT-2014-NadelRS #incremental #satisfiability
Ultimately Incremental SAT (AN, VR, OS), pp. 206–218.
CAV-2013-VizelRN #generative #performance
Efficient Generation of Small Interpolants in CNF (YV, VR, AN), pp. 330–346.
SAT-2012-NadelR #performance #satisfiability
Efficient SAT Solving under Assumptions (AN, VR), pp. 242–255.
SAT-2012-NadelRS #incremental #preprocessor #satisfiability
Preprocessing in Incremental SAT (AN, VR, OS), pp. 256–269.
SAT-2011-RyvchinS #performance #satisfiability
Faster Extraction of High-Level Minimal Unsatisfiable Cores (VR, OS), pp. 174–187.
SAT-2010-NadelR #stack
Assignment Stack Shrinking (AN, VR), pp. 375–381.
SAT-2008-RyvchinS
Local Restarts (VR, OS), pp. 271–276.
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.