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 × Finland
1 × France
1 × Germany
1 × Italy
2 × United Kingdom
Collaborated with:
F.Bacchus M.Seidl A.Biere V.Iverson H.Mangassarian B.Le A.G.Veneris
Talks about:
qbf (5) circuit (2) solv (2) base (2) cnf (2) preprocess (1) represent (1) algorithm (1) partial (1) leverag (1)

Person: Alexandra Goultiaeva

DBLP DBLP: Goultiaeva:Alexandra

Contributed to:

DATE 20132013
SAT 20132013
SAT 20122012
DATE 20102010
SAT 20102010
SAT 20092009

Wrote 6 papers:

Bridging the gap between dual propagation and CNF-based QBF solving (AG, MS, AB), pp. 811–814.
Recovering and Utilizing Partial Duality in QBF (AG, FB), pp. 83–99.
SAT-2012-GoultiaevaB #algorithm
Off the Trail: Re-examining the CDCL Algorithm (AG, FB), pp. 30–43.
DATE-2010-MangassarianLGVB #preprocessor
Leveraging dominators for preprocessing QBF (HM, BL, AG, AGV, FB), pp. 1695–1700.
Exploiting Circuit Representations in QBF Solving (AG, FB), pp. 333–339.
Beyond CNF: A Circuit-Based QBF Solver (AG, VI, FB), pp. 412–426.

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.