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 × France
1 × USA
Collaborated with:
A.Kuehlmann Q.Zhu A.L.Sangiovanni-Vincentelli
Talks about:
constraint (1) sampler (1) boolean (1) observ (1) markov (1) sweep (1) local (1) integ (1) chain (1) carlo (1)

Person: Nathan Kitchen

DBLP DBLP: Kitchen:Nathan

Contributed to:

CAV 20092009
DAC 20062006

Wrote 2 papers:

CAV-2009-KitchenK #constraints #integer #markov #monte carlo
A Markov Chain Monte Carlo Sampler for Mixed Boolean/Integer Constraints (NK, AK), pp. 446–461.
DAC-2006-ZhuKKS #satisfiability
SAT sweeping with local observability don’t-cares (QZ, NK, AK, ALSV), pp. 229–234.

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.