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 × Portugal
1 × Russia
2 × Austria
2 × United Kingdom
3 × USA
Collaborated with:
V.Ryvchin Z.Hanna N.Dershowitz O.Strichman A.Erez Y.Vizel R.Bruttomesso A.Cimatti A.Franzén A.Griggio A.Palti R.Sebastiani
Talks about:
sat (6) generat (3) solver (3) increment (2) automat (2) effici (2) solut (2) rout (2) smt (2) understand (1)

Person: Alexander Nadel

DBLP DBLP: Nadel:Alexander

Contributed to:

CAV 20152015
CAV 20142014
SAT 20142014
CAV 20132013
SAT 20122012
SAT 20112011
SAT 20102010
CAV 20072007
SAT 20072007
SAT 20062006
SAT 20052005
CAV (2) 20172017

Wrote 13 papers:

CAV-2015-ErezN #automation #bound #graph #smt #using
Finding Bounded Path in Graph Using SMT for Automatic Clock Routing (AE, AN), pp. 20–36.
CAV-2014-Nadel #automation #generative
Bit-Vector Rewriting with Automatic Rule Generation (AN), pp. 663–679.
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-Nadel #generative #satisfiability
Generating Diverse Solutions in SAT (AN), pp. 287–301.
SAT-2010-NadelR #stack
Assignment Stack Shrinking (AN, VR), pp. 375–381.
CAV-2007-BruttomessoCFGHNPS #industrial #lazy evaluation #problem #smt #verification
A Lazy and Layered SMT(BV) Solver for Hard Industrial Verification Problems (RB, AC, AF, AG, ZH, AN, AP, RS), pp. 547–560.
SAT-2007-DershowitzHN #comprehension #satisfiability #towards
Towards a Better Understanding of the Functionality of a Conflict-Driven SAT Solver (ND, ZH, AN), pp. 287–293.
SAT-2006-DershowitzHN #algorithm #satisfiability #scalability
A Scalable Algorithm for Minimal Unsatisfiable Core Extraction (ND, ZH, AN), pp. 36–41.
SAT-2005-DershowitzHN #heuristic #satisfiability
A Clause-Based Heuristic for SAT Solvers (ND, ZH, AN), pp. 46–60.
CAV-2017-Nadel
A Correct-by-Decision Solution for Simultaneous Place and Route (AN), pp. 436–452.

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.