Peter Nightingale
Orcid: 0000-0002-5052-8634Affiliations:
- University of York, UK
According to our database1,
Peter Nightingale
authored at least 66 papers
between 2003 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Artif. Intell., 2024
2023
Constraints An Int. J., September, 2023
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023
SAT Encodings for Pseudo-Boolean Constraints Together With At-Most-One Constraints (Extended Abstract).
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023
Conjure: Automatic Generation of Constraint Models from Problem Specifications (Extended Abstract).
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023
2022
Artif. Intell., 2022
Artif. Intell., 2022
Proceedings of the 28th International Conference on Principles and Practice of Constraint Programming, 2022
Proceedings of the 28th International Conference on Principles and Practice of Constraint Programming, 2022
2021
Proceedings of the 21st Workshop on Computational Models of Natural Argument, 2021
2020
IEEE Trans. Vis. Comput. Graph., 2020
Proceedings of the Principles and Practice of Constraint Programming, 2020
Determining the Acceptability of Abstract Arguments with Graph Convolutional Networks.
Proceedings of the Third International Workshop on Systems and Algorithms for Formal Argumentation co-located with the 8th International Conference on Computational Models of Argument (COMMA 2020), 2020
2019
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019
Automatic Detection of At-Most-One and Exactly-One Relations for Improved SAT Encodings of Pseudo-Boolean Constraints.
Proceedings of the Principles and Practice of Constraint Programming, 2019
2018
Theory Pract. Log. Program., 2018
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018
Proceedings of the 2018 IEEE International Conference on Data Mining Workshops, 2018
Proceedings of the Principles and Practice of Constraint Programming, 2018
Proceedings of the Principles and Practice of Constraint Programming, 2018
2017
AI Commun., 2017
2016
Proceedings of the Principles and Practice of Constraint Programming, 2016
2015
Automatically Improving SAT Encoding of Constraint Problems Through Common Subexpression Elimination in Savile Row.
Proceedings of the Principles and Practice of Constraint Programming, 2015
2014
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014
Automatically Improving Constraint Models in Savile Row through Associative-Commutative Common Subexpression Elimination.
Proceedings of the Principles and Practice of Constraint Programming, 2014
Proceedings of the Principles and Practice of Constraint Programming, 2014
2013
Proceedings of the IJCAI 2013, 2013
Proceedings of the IJCAI 2013, 2013
Proceedings of the Principles and Practice of Constraint Programming, 2013
2012
CoRR, 2012
Proceedings of the 34th International Conference on Software Engineering, 2012
2011
Artif. Intell., 2011
Dominion: An Architecture-Driven Approach to Generating Efficient Constraint Solvers.
Proceedings of the 9th Working IEEE/IFIP Conference on Software Architecture, 2011
Proceedings of the IJCAI 2011, 2011
2010
Machine learning for constraint solver design -- A case study for the alldifferent constraint
CoRR, 2010
Proceedings of the ECAI 2010, 2010
Proceedings of the Principles and Practice of Constraint Programming - CP 2010, 2010
Proceedings of the Principles and Practice of Constraint Programming - CP 2010, 2010
2009
Proceedings of the Eighth Symposium on Abstraction, Reformulation, and Approximation, 2009
Modelling Equidistant Frequency Permutation Arrays: An Application of Constraints to Mathematics.
Proceedings of the Principles and Practice of Constraint Programming, 2009
2008
Artif. Intell., 2008
2007
Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007
2005
Solving Non-Boolean Satisfiability Problems with Stochastic Local Search: A Comparison of Encodings.
J. Autom. Reason., 2005
Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005
Proceedings of the Principles and Practice of Constraint Programming, 2005
2004
Encoding Quantified CSPs as Quantified Boolean Formulae.
Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004
2003
Microprocess. Microsystems, 2003
Establishing Timing Requirements and Control Attributes for Control Loops in Real-Time Systems.
Proceedings of the 15th Euromicro Conference on Real-Time Systems (ECRTS 2003), 2003