|
Search the dblp DataBase
Andrew G. D. Rowley:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Ian P. Gent, Holger H. Hoos, Andrew G. D. Rowley, Kevin Smyth
Using Stochastic Local Search to Solve Quantified Boolean Formulae. [Citation Graph (0, 0)][DBLP] CP, 2003, pp:348-362 [Conf]
- Andrew G. D. Rowley
Watching Clauses in Quantified Boolean Formulae. [Citation Graph (0, 0)][DBLP] CP, 2003, pp:994- [Conf]
- Ian P. Gent, Peter Nightingale, Andrew Rowley
Encoding Quantified CSPs as Quantified Boolean Formulae. [Citation Graph (0, 0)][DBLP] ECAI, 2004, pp:176-180 [Conf]
- Ian P. Gent, Andrew G. D. Rowley
Local and Global Complete Solution Learning Methods for QBF. [Citation Graph (0, 0)][DBLP] SAT, 2005, pp:91-106 [Conf]
- Ian P. Gent, Enrico Giunchiglia, Massimo Narizzano, Andrew G. D. Rowley, Armando Tacchella
Watched Data Structures for QBF Solvers. [Citation Graph (0, 0)][DBLP] SAT, 2003, pp:25-36 [Conf]
Solving quantified constraint satisfaction problems. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|