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 × Portugal
1 × United Kingdom
Collaborated with:
A.Darwiche
Talks about:
satisfi (2) solver (2) lightweight (1) restart (1) scheme (1) polici (1) compon (1) width (1) learn (1) claus (1)

Person: Knot Pipatsrisawat

DBLP DBLP: Pipatsrisawat:Knot

Contributed to:

SAT 20092009
SAT 20072007

Wrote 2 papers:

SAT-2009-PipatsrisawatD #policy #satisfiability
Width-Based Restart Policies for Clause-Learning Satisfiability Solvers (KP, AD), pp. 341–355.
SAT-2007-PipatsrisawatD #component #lightweight #satisfiability
A Lightweight Component Caching Scheme for Satisfiability Solvers (KP, AD), pp. 294–299.
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.