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: Goultiaeva:Alexandra
Contributed to:
2013
20132012201020102009Wrote 6 papers:
- DATE-2013-GoultiaevaSB
- Bridging the gap between dual propagation and CNF-based QBF solving (AG, MS, AB), pp. 811–814.
- SAT-2013-GoultiaevaB
- 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.
- SAT-2010-GoultiaevaB
- Exploiting Circuit Representations in QBF Solving (AG, FB), pp. 333–339.
- SAT-2009-GoultiaevaIB
- Beyond CNF: A Circuit-Based QBF Solver (AG, VI, FB), pp. 412–426.