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 × 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.
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.
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.