Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Peter Nightingale
2010 – today
- 2013
[j9]Peter Nightingale, Ian P. Gent, Christopher Jefferson, Ian Miguel: Short and Long Supports for Constraint Propagation. J. Artif. Intell. Res. (JAIR) 46: 1-45 (2013)- 2012
- [c13]Dharini Balasubramaniam, Christopher Jefferson, Lars Kotthoff, Ian Miguel, Peter Nightingale: An automated approach to generating efficient constraint solvers. ICSE 2012: 661-671
- [i2]Thomas W. Kelsey, Lars Kotthoff, Christoffer A. Jefferson, Stephen A. Linton, Ian Miguel, Peter Nightingale, Ian P. Gent: Qualitative Modelling via Constraint Programming: Past, Present and Future. CoRR abs/1209.3916 (2012)
- 2011
- [j8]Peter Nightingale: The extended global cardinality constraint: An empirical survey. Artif. Intell. 175(2): 586-614 (2011)
- [c12]Peter Nightingale, Ian P. Gent, Christopher Jefferson, Ian Miguel: Exploiting Short Supports for Generalised Arc Consistency for Arbitrary Constraints. IJCAI 2011: 623-628
- [c11]Dharini Balasubramaniam, Lakshitha de Silva, Christopher Jefferson, Lars Kotthoff, Ian Miguel, Peter Nightingale: Dominion: An Architecture-Driven Approach to Generating Efficient Constraint Solvers. WICSA 2011: 228-231
- 2010
- [j7]Christopher Jefferson, Neil C. A. Moore, Peter Nightingale, Karen E. Petrie: Implementing logical connectives in constraint programming. Artif. Intell. 174(16-17): 1407-1429 (2010)
- [c10]Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale: Generating Special-Purpose Stateless Propagators for Arbitrary Constraints. CP 2010: 206-220
- [c9]Lars Kotthoff, Ian Miguel, Peter Nightingale: Ensemble Classification for Constraint Solver Configuration. CP 2010: 321-329
- [c8]Ian P. Gent, Christopher Jefferson, Lars Kotthoff, Ian Miguel, Neil C. A. Moore, Peter Nightingale, Karen E. Petrie: Learning When to Use Lazy Learning in Constraint Solving. ECAI 2010: 873-878
- [i1]Ian P. Gent, Lars Kotthoff, Ian Miguel, Peter Nightingale: Machine learning for constraint solver design -- A case study for the alldifferent constraint. CoRR abs/1008.4326 (2010)
2000 – 2009
- 2009
- [j6]Peter Nightingale: Non-binary quantified CSP: algorithms and modelling. Constraints 14(4): 539-581 (2009)
- [c7]Sophie Huczynska, Paul McKay, Ian Miguel, Peter Nightingale: Modelling Equidistant Frequency Permutation Arrays: An Application of Constraints to Mathematics. CP 2009: 50-64
- [c6]Ian P. Gent, Paul McKay, Ian Miguel, Peter Nightingale, Sophie Huczynska: Modelling Equidistant Frequency Permutation Arrays in Constraints. SARA 2009
- 2008
- [j5]Ian P. Gent, Peter Nightingale, Andrew G. D. Rowley, Kostas Stergiou: Solving quantified constraint satisfaction problems. Artif. Intell. 172(6-7): 738-771 (2008)
- [j4]Ian P. Gent, Ian Miguel, Peter Nightingale: Generalised arc consistency for the AllDifferent constraint: An empirical survey. Artif. Intell. 172(18): 1973-2000 (2008)
- 2007
- [j3]Ian P. Gent, Christopher Jefferson, Tom Kelsey, Inês Lynce, Ian Miguel, Peter Nightingale, Barbara M. Smith, Armagan Tarim: Search in the patience game 'Black Hole'. AI Commun. 20(3): 211-226 (2007)
- [c5]Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale: Data Structures for Generalised Arc Consistency for Extensional Constraints. AAAI 2007: 191-197
- 2005
- [j2]Alan M. Frisch, Timothy J. Peugniez, Anthony J. Doggett, Peter Nightingale: Solving Non-Boolean Satisfiability Problems with Stochastic Local Search: A Comparison of Encodings. J. Autom. Reasoning 35(1-3): 143-179 (2005)
- [c4]
- [c3]Ian P. Gent, Peter Nightingale, Kostas Stergiou: QCSP-Solve: A Solver for Quantified Constraint Satisfaction Problems. IJCAI 2005: 138-143
- 2004
- [c2]Ian P. Gent, Peter Nightingale, Andrew G. D. Rowley: Encoding Quantified CSPs as Quantified Boolean Formulae. ECAI 2004: 176-180
- 2003
- [j1]Iain Bate, John A. McDermid, Peter Nightingale: Establishing timing requirements for control loops in real-time systems. Microprocessors and Microsystems 27(4): 159-169 (2003)
- [c1]Iain Bate, Peter Nightingale, Anton Cervin: Establishing Timing Requirements and Control Attributes for Control Loops in Real-Time Systems. ECRTS 2003: 121-
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-02-05 21:45 CET by the dblp team