Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Ian P. Gent

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Andrew Rowley

> Home > Persons > Ian P. Gent

Publications

2008
[j21]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/GentNRS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/GentNRS08
Ian P. Gent, Peter Nightingale, Andrew G. D. Rowley, Kostas Stergiou:
Solving quantified constraint satisfaction problems. Artif. Intell. 172(6-7): 738-771 (2008)
2005
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/sat/GentR05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/GentR05
Ian P. Gent, Andrew G. D. Rowley:
Local and Global Complete Solution Learning Methods for QBF. SAT 2005: 91-106
2004
[c29]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/ecai/GentNR04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/GentNR04
Ian P. Gent, Peter Nightingale, Andrew G. D. Rowley:
Encoding Quantified CSPs as Quantified Boolean Formulae. ECAI 2004: 176-180
2003
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/GentHRS03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/GentHRS03
Ian P. Gent, Holger H. Hoos, Andrew G. D. Rowley, Kevin Smyth:
Using Stochastic Local Search to Solve Quantified Boolean Formulae. CP 2003: 348-362
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/sat/GentGNRT03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/GentGNRT03
Ian P. Gent, Enrico Giunchiglia, Massimo Narizzano, Andrew G. D. Rowley, Armando Tacchella:
Watched Data Structures for QBF Solvers. SAT 2003: 25-36

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.