Peter Nightingale

83 papers A* 13A 20B 3Journal 40Unranked 7

Year	Rank	Type	Title / Venue / Authors
2026	A*	`conf`	Approximating Problems in Abstract Argumentation with Graph Convolutional Networks (Abstract Reprint). AAAI Lars Malmqvist, Tangming Yuan, Peter Nightingale
2025	J	`jnl`	A graph convolutional network-based solver for approximating argument acceptability. SoftwareX Lars Malmqvist, Peter Nightingale, Tangming Yuan
2025	J	`jnl`	Athanor: Local search over abstract constraint specifications. Artif. Intell. Saad Attieh, Nguyen Dang, Christopher Jefferson, Ian Miguel, Peter Nightingale
2025	A	`conf`	Constraint Models for Klondike. CP Nguyen Dang, Ian P. Gent, Peter Nightingale, Felix Ulrich-Oltean, Jack Waller
2025	—	`conf`	End-to-End Argument Mining in Student Essays: A Comparison of Pipeline and Multi-Task Generative Models. CMNA Fahad M. Alzaidee, Tommy Yuan, Peter Nightingale
2025	A	`conf`	Scheduling Telescope Observations for the European Southern Observatory (Short Paper). CP Michael Prümm, Peter Nightingale, Felix Ulrich-Oltean
2025	J	`jnl`	TabID: Automatic Identification and Tabulation of Subproblems in Constraint Models. J. Artif. Intell. Res. Özgür Akgün, Ian P. Gent, Christopher Jefferson, Zeynep Kiziltan, Ian Miguel, Peter Nightingale, András Z. Salamon, Felix Ulrich-Oltean
2024	J	`jnl`	Approximating problems in abstract argumentation with graph convolutional networks. Artif. Intell. Lars Malmqvist, Tangming Yuan, Peter Nightingale
2024	J	`jnl`	Athanor: Local Search over Abstract Constraint Specifications. CoRR Saad Attieh, Nguyen Dang, Christopher Jefferson, Ian Miguel, Peter Nightingale
2024	B	`conf`	Cross-Paradigm Modelling: A Study of Puzznic. ICTAI Joan Espasa, Ian P. Gent, Ian Miguel, Peter Nightingale, András Z. Salamon, Mateu Villaret
2024	—	`conf`	Enhancing Essay Argument Persuasiveness Prediction Using a RoBERTa-LSTM Hybrid Model. CMNA@COMMA Fahad M. Alzaidee, Tommy Yuan, Peter Nightingale, Khaled El Ebyary
2024	B	`conf`	IndiCon: Selecting SAT Encodings for Individual Pseudo-Boolean and Linear Integer Constraints. ICTAI Felix Ulrich-Oltean, Peter Nightingale, James Alfred Walker
2024	J	`jnl`	Plotting: a case study in lifted planning with constraints. Constraints An Int. J. Joan Espasa, Ian Miguel, Peter Nightingale, András Z. Salamon, Mateu Villaret
2023	J	`jnl`	Challenges in Modelling and Solving Plotting with PDDL. CoRR Joan Espasa, Ian Miguel, Peter Nightingale, András Z. Salamon, Mateu Villaret
2023	A*	`conf`	Conjure: Automatic Generation of Constraint Models from Problem Specifications (Extended Abstract). IJCAI Özgür Akgün, Alan M. Frisch, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale
2023	A*	`conf`	Learning When to Use Automatic Tabulation in Constraint Model Reformulation. IJCAI Carlo Cena, Özgür Akgün, Zeynep Kiziltan, Ian Miguel, Peter Nightingale, Felix Ulrich-Oltean
2023	J	`jnl`	Learning to Select SAT Encodings for Pseudo-Boolean and Linear Integer Constraints. CoRR Felix Ulrich-Oltean, Peter Nightingale, James Alfred Walker
2023	J	`jnl`	Learning to select SAT encodings for pseudo-Boolean and linear integer constraints. Constraints An Int. J. Felix Ulrich-Oltean, Peter Nightingale, James Alfred Walker
2023	A*	`conf`	SAT Encodings for Pseudo-Boolean Constraints Together With At-Most-One Constraints (Extended Abstract). IJCAI Miquel Bofill, Jordi Coll, Peter Nightingale, Josep Suy, Felix Ulrich-Oltean, Mateu Villaret
2023	J	`jnl`	Towards a Model of Puzznic. CoRR Joan Espasa, Ian P. Gent, Ian Miguel, Peter Nightingale, András Z. Salamon, Mateu Villaret
2022	A	`conf`	A Framework for Generating Informative Benchmark Instances. CP Nguyen Dang, Özgür Akgün, Joan Espasa, Ian Miguel, Peter Nightingale
2022	J	`jnl`	A Framework for Generating Informative Benchmark Instances. CoRR Nguyen Dang, Özgür Akgün, Joan Espasa, Ian Miguel, Peter Nightingale
2022	J	`jnl`	Automatic Tabulation in Constraint Models. CoRR Özgür Akgün, Ian P. Gent, Christopher Jefferson, Zeynep Kiziltan, Ian Miguel, Peter Nightingale, András Z. Salamon, Felix Ulrich-Oltean
2022	J	`jnl`	Conjure: Automatic Generation of Constraint Models from Problem Specifications. Artif. Intell. Özgür Akgün, Alan M. Frisch, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale
2022	J	`jnl`	SAT encodings for Pseudo-Boolean constraints together with at-most-one constraints. Artif. Intell. Miquel Bofill, Jordi Coll, Peter Nightingale, Josep Suy, Felix Ulrich-Oltean, Mateu Villaret
2022	J	`jnl`	Savile Row Manual. CoRR Peter Nightingale
2022	A	`conf`	Selecting SAT Encodings for Pseudo-Boolean and Linear Integer Constraints. CP Felix Ulrich-Oltean, Peter Nightingale, James Alfred Walker
2021	—	`conf`	Improving Misinformation Detection in Tweets with Abstract Argumentation. CMNA Lars Malmqvist, Tommy Yuan, Peter Nightingale
2021	J	`jnl`	SAT Encodings for Pseudo-Boolean Constraints Together With At-Most-One Constraints. CoRR Miquel Bofill, Jordi Coll, Peter Nightingale, Josep Suy, Felix Ulrich-Oltean, Mateu Villaret
2021	J	`jnl`	Towards Reformulating Essence Specifications for Robustness. CoRR Özgür Akgün, Alan M. Frisch, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale, András Z. Salamon
2020	—	`conf`	Determining the Acceptability of Abstract Arguments with Graph Convolutional Networks. SAFA Lars Malmqvist, Tommy Yuan, Peter Nightingale, Suresh Manandhar
2020	A	`conf`	Effective Encodings of Constraint Programming Models to SMT. CP Ewan Davidson, Özgür Akgün, Joan Espasa, Peter Nightingale
2020	J	`jnl`	How People Visually Represent Discrete Constraint Problems. IEEE Trans. Vis. Comput. Graph. Xu Zhu, Miguel A. Nacenta, Özgür Akgün, Peter Nightingale
2019	A*	`conf`	Athanor: High-Level Local Search Over Abstract Constraint Specifications in Essence. IJCAI Saad Attieh, Nguyen Dang, Christopher Jefferson, Ian Miguel, Peter Nightingale
2019	A	`conf`	Automatic Detection of At-Most-One and Exactly-One Relations for Improved SAT Encodings of Pseudo-Boolean Constraints. CP Carlos Ansótegui, Miquel Bofill, Jordi Coll, Nguyen Dang, Juan Luis Esteban, Ian Miguel, Peter Nightingale, András Z. Salamon, Josep Suy, Mateu Villaret
2018	A*	`conf`	A Framework for Constraint Based Local Search using Essence. IJCAI Özgür Akgün, Saad Attieh, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale, András Z. Salamon, Patrick Spracklen, James Wetter
2018	J	`jnl`	A Review of Literature on Parallel Constraint Solving. CoRR Ian P. Gent, Ciaran McCreesh, Ian Miguel, Neil C. A. Moore, Peter Nightingale, Patrick Prosser, Chris Unsworth
2018	J	`jnl`	A review of literature on parallel constraint solving. Theory Pract. Log. Program. Ian P. Gent, Ian Miguel, Peter Nightingale, Ciaran McCreesh, Patrick Prosser, Neil C. A. Moore, Chris Unsworth
2018	A	`conf`	Automatic Discovery and Exploitation of Promising Subproblems for Tabulation. CP Özgür Akgün, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale, András Z. Salamon
2018	—	`conf`	Closed Frequent Itemset Mining with Arbitrary Side Constraints. ICDM Workshops Gokberk Kocak, Ozgur Akgun, Ian Miguel, Peter Nightingale
2018	A*	`conf`	Complexity of n-Queens Completion (Extended Abstract). IJCAI Ian P. Gent, Christopher Jefferson, Peter Nightingale
2018	A	`conf`	Metamorphic Testing of Constraint Solvers. CP Özgür Akgün, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale
2017	J	`jnl`	Automatically improving constraint models in Savile Row. Artif. Intell. Peter Nightingale, Özgür Akgün, Ian P. Gent, Christopher Jefferson, Ian Miguel, Patrick Spracklen
2017	J	`jnl`	Complexity of n-Queens Completion. J. Artif. Intell. Res. Ian P. Gent, Christopher Jefferson, Peter Nightingale
2017	J	`jnl`	Generalized support and formal development of constraint propagators. AI Commun. James L. Caldwell, Ian P. Gent, Peter Nightingale
2016	J	`jnl`	Essence' Description. CoRR Peter Nightingale, Andrea Rendl
2016	A	`conf`	Exploiting Short Supports for Improved Encoding of Arbitrary Constraints into SAT. CP Özgür Akgün, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale
2015	A	`conf`	Automatically Improving SAT Encoding of Constraint Problems Through Common Subexpression Elimination in Savile Row. CP Peter Nightingale, Patrick Spracklen, Ian Miguel
2015	J	`jnl`	Generalized Support and Formal Development of Constraint Propagators. CoRR James L. Caldwell, Ian P. Gent, Peter Nightingale
2015	J	`jnl`	S-Crucial and Bicrucial Permutations with Respect to Squares. J. Integer Seq. Ian P. Gent, Sergey Kitaev, Alexander Konovalov, Steve Linton, Peter Nightingale
2014	A	`conf`	Automatically Improving Constraint Models in Savile Row through Associative-Commutative Common Subexpression Elimination. CP Peter Nightingale, Özgür Akgün, Ian P. Gent, Christopher Jefferson, Ian Miguel
2014	A	`conf`	Breaking Conditional Symmetry in Automated Constraint Modelling with CONJURE. ECAI Ozgur Akgun, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale
2014	A	`conf`	Discriminating Instance Generation for Automated Constraint Model Selection. CP Ian P. Gent, Bilal Syed Hussain, Christopher Jefferson, Lars Kotthoff, Ian Miguel, Glenna F. Nightingale, Peter Nightingale
2014	J	`jnl`	Generating custom propagators for arbitrary constraints. Artif. Intell. Ian P. Gent, Christopher Jefferson, Steve Linton, Ian Miguel, Peter Nightingale
2014	J	`jnl`	Qualitative modelling via constraint programming. Constraints An Int. J. Thomas W. Kelsey, Lars Kotthoff, Christopher Jefferson, Stephen A. Linton, Ian Miguel, Peter Nightingale, Ian P. Gent
2014	J	`jnl`	Short and Long Supports for Constraint Propagation. CoRR Peter Nightingale, Ian Philip Gent, Christopher Jefferson, Ian Miguel
2013	A	`conf`	Automated Symmetry Breaking and Model Selection in Conjure. CP Ozgur Akgun, Alan M. Frisch, Ian P. Gent, Bilal Syed Hussain, Christopher Jefferson, Lars Kotthoff, Ian Miguel, Peter Nightingale
2013	A*	`conf`	Extending Simple Tabular Reduction with Short Supports. IJCAI Christopher Jefferson, Peter Nightingale
2013	J	`jnl`	Short and Long Supports for Constraint Propagation. J. Artif. Intell. Res. Peter Nightingale, Ian P. Gent, Christopher Jefferson, Ian Miguel
2013	A*	`conf`	The Extended Global Cardinality Constraint: An Empirical Survey: Extended Abstract. IJCAI Peter Nightingale
2012	A*	`conf`	An automated approach to generating efficient constraint solvers. ICSE Dharini Balasubramaniam, Christopher Jefferson, Lars Kotthoff, Ian Miguel, Peter Nightingale
2012	J	`jnl`	Qualitative Modelling via Constraint Programming: Past, Present and Future CoRR Thomas W. Kelsey, Lars Kotthoff, Christopher Jefferson, Stephen A. Linton, Ian Miguel, Peter Nightingale, Ian P. Gent
2011	—	`conf`	Dominion: An Architecture-Driven Approach to Generating Efficient Constraint Solvers. WICSA Dharini Balasubramaniam, Lakshitha de Silva, Christopher Jefferson, Lars Kotthoff, Ian Miguel, Peter Nightingale
2011	A*	`conf`	Exploiting Short Supports for Generalised Arc Consistency for Arbitrary Constraints. IJCAI Peter Nightingale, Ian P. Gent, Christopher Jefferson, Ian Miguel
2011	J	`jnl`	The extended global cardinality constraint: An empirical survey. Artif. Intell. Peter Nightingale
2010	A	`conf`	Ensemble Classification for Constraint Solver Configuration. CP Lars Kotthoff, Ian Miguel, Peter Nightingale
2010	A	`conf`	Generating Special-Purpose Stateless Propagators for Arbitrary Constraints. CP Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale
2010	J	`jnl`	Implementing logical connectives in constraint programming. Artif. Intell. Christopher Jefferson, Neil C. A. Moore, Peter Nightingale, Karen E. Petrie
2010	A	`conf`	Learning When to Use Lazy Learning in Constraint Solving. ECAI Ian P. Gent, Christopher Jefferson, Lars Kotthoff, Ian Miguel, Neil C. A. Moore, Peter Nightingale, Karen E. Petrie
2010	J	`jnl`	Machine learning for constraint solver design -- A case study for the alldifferent constraint CoRR Ian P. Gent, Lars Kotthoff, Ian Miguel, Peter Nightingale
2009	—	`conf`	Modelling Equidistant Frequency Permutation Arrays in Constraints. SARA Ian P. Gent, Paul McKay, Ian Miguel, Peter Nightingale, Sophie Huczynska
2009	A	`conf`	Modelling Equidistant Frequency Permutation Arrays: An Application of Constraints to Mathematics. CP Sophie Huczynska, Paul McKay, Ian Miguel, Peter Nightingale
2009	J	`jnl`	Non-binary quantified CSP: algorithms and modelling. Constraints An Int. J. Peter Nightingale
2008	J	`jnl`	Generalised arc consistency for the AllDifferent constraint: An empirical survey. Artif. Intell. Ian P. Gent, Ian Miguel, Peter Nightingale
2008	J	`jnl`	Solving quantified constraint satisfaction problems. Artif. Intell. Ian P. Gent, Peter Nightingale, Andrew G. D. Rowley, Kostas Stergiou
2007	A*	`conf`	Data Structures for Generalised Arc Consistency for Extensional Constraints. AAAI Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale
2007	J	`jnl`	Search in the patience game 'Black Hole'. AI Commun. Ian P. Gent, Christopher Jefferson, Tom W. Kelsey, Inês Lynce, Ian Miguel, Peter Nightingale, Barbara M. Smith, Armagan Tarim
2005	A	`conf`	Consistency for Quantified Constraint Satisfaction Problems. CP Peter Nightingale
2005	A*	`conf`	QCSP-Solve: A Solver for Quantified Constraint Satisfaction Problems. IJCAI Ian P. Gent, Peter Nightingale, Kostas Stergiou
2005	J	`jnl`	Solving Non-Boolean Satisfiability Problems with Stochastic Local Search: A Comparison of Encodings. J. Autom. Reason. Alan M. Frisch, Timothy J. Peugniez, Anthony J. Doggett, Peter Nightingale
2004	A	`conf`	Encoding Quantified CSPs as Quantified Boolean Formulae. ECAI Ian P. Gent, Peter Nightingale, Andrew G. D. Rowley
2003	B	`conf`	Establishing Timing Requirements and Control Attributes for Control Loops in Real-Time Systems. ECRTS Iain Bate, Peter Nightingale, Anton Cervin
2003	J	`jnl`	Establishing timing requirements for control loops in real-time systems. Microprocess. Microsystems Iain Bate, John A. McDermid, Peter Nightingale