- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Works by Peter Nightingale
10 found
Order:
- Conjure: Automatic Generation of Constraint Models from Problem Specifications.Özgür Akgün, Alan M. Frisch, Ian P. Gent, Christopher Jefferson, Ian Miguel & Peter Nightingale - 2022 - Artificial Intelligence 310 (C):103751.
- Automatically improving constraint models in Savile Row.Peter Nightingale, Özgür Akgün, Ian P. Gent, Christopher Jefferson, Ian Miguel & Patrick Spracklen - 2017 - Artificial Intelligence 251 (C):35-61.
- Generalised arc consistency for the AllDifferent constraint: An empirical survey.Ian P. Gent, Ian Miguel & Peter Nightingale - 2008 - Artificial Intelligence 172 (18):1973-2000.
- Approximating problems in abstract argumentation with graph convolutional networks.Lars Malmqvist, Tangming Yuan & Peter Nightingale - 2024 - Artificial Intelligence 336 (C):104209.
- Athanor: Local search over abstract constraint specifications.Saad Attieh, Nguyen Dang, Christopher Jefferson, Ian Miguel & Peter Nightingale - 2025 - Artificial Intelligence 340 (C):104277.
- SAT encodings for Pseudo-Boolean constraints together with at-most-one constraints.Miquel Bofill, Jordi Coll, Peter Nightingale, Josep Suy, Felix Ulrich-Oltean & Mateu Villaret - 2022 - Artificial Intelligence 302 (C):103604.
- Generating custom propagators for arbitrary constraints.Ian P. Gent, Christopher Jefferson, Steve Linton, Ian Miguel & Peter Nightingale - 2014 - Artificial Intelligence 211 (C):1-33.
- Solving quantified constraint satisfaction problems.Ian P. Gent, Peter Nightingale, Andrew Rowley & Kostas Stergiou - 2008 - Artificial Intelligence 172 (6-7):738-771.
- Implementing logical connectives in constraint programming.Christopher Jefferson, Neil C. A. Moore, Peter Nightingale & Karen E. Petrie - 2010 - Artificial Intelligence 174 (16-17):1407-1429.
- The extended global cardinality constraint: An empirical survey.Peter Nightingale - 2011 - Artificial Intelligence 175 (2):586-614.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-8567d8d854-zpjm8 dc2