P. Nightingale

发表

A Framework for Generating Informative Benchmark Instances

I. Miguel, Nguyen Dang, Joan Espasa, 2022, CP.

University of Birmingham Disability from posttraumatic headache is compounded by coexisting posttraumatic stress disorder

A. Belli, A. Sinclair, Z. Su, 2017 .

Conjure: Automatic Generation of Constraint Models from Problem Specifications

Ian P. Gent, Alan M. Frisch, I. Miguel, 2022, Artif. Intell..

Prevalence of abnormal liver tests and liver fibrosis among rural adults in low and middle-income country: A cross-sectional study

J. Neuberger, G. Velmurugan, K. Swaminathan, 2022, EClinicalMedicine.

University of Birmingham Should we educate about the risks of medication overuse headache?

P. Aveyard, A. Sinclair, P. Nightingale, 2014 .

Complexity of n-Queens Completion (Extended Abstract)

Ian P. Gent, Peter Nightingale, Christopher Jefferson, 2018, IJCAI.

Elevated cerebrospinal fluid (CSF) leptin in idiopathic intracranial hypertension (IIH): evidence for hypothalamic leptin resistance?

S. Rauz, A. Sinclair, M. Burdon, 2009, Clinical endocrinology.

Cortical step sign in spinal clearance on trauma computed tomography – Indicator of acute thoracolumbar compression fracture

R. Rajakulasingam, Naman Bhatt, S. Choudhary, 2022, Trauma.

Solving quantified constraint satisfaction problems

Kostas Stergiou, Ian P. Gent, Peter Nightingale, 2008, Artif. Intell..

Complexity of n-Queens Completion

Ian P. Gent, Peter Nightingale, Christopher Jefferson, 2017, J. Artif. Intell. Res..

Area Interaction Point Processes for Bivariate Point Patterns in a Bayesian Context

Peter Nightingale, Janine B. Illian, Ruth King, 2019 .

Learning When to Use Lazy Learning in Constraint Solving

Lars Kotthoff, Ian P. Gent, Ian Miguel, 2010, ECAI.

Athanor: High-Level Local Search Over Abstract Constraint Specifications in Essence

Ian Miguel, Peter Nightingale, Christopher Jefferson, 2019, IJCAI.

A Preliminary Review of Literature on Parallel Constraint Solving

Patrick Prosser, Ian P. Gent, Peter Nightingale, 2011 .

A Framework for Constraint Based Local Search using Essence

Ian P. Gent, Ian Miguel, Peter Nightingale, 2018, IJCAI.

An automated approach to generating efficient constraint solvers

Lars Kotthoff, Ian Miguel, Dharini Balasubramaniam, 2012, 2012 34th International Conference on Software Engineering (ICSE).

Data Structures for Generalised Arc Consistency for Extensional Constraints

Ian P. Gent, Ian Miguel, Peter Nightingale, 2007, AAAI.

Consistency and the Quantified Constraint Satisfaction Problem

Peter William Nightingale, P. Nightingale, 2007 .

Cerebrospinal fluid corticosteroid levels and cortisol metabolism in patients with idiopathic intracranial hypertension: a link between 11beta-HSD1 and intracranial pressure regulation?

A. V. van Beek, P. Murray, S. Rauz, 2010, The Journal of clinical endocrinology and metabolism.

Generating custom propagators for arbitrary constraints

Steve Linton, Ian P. Gent, Ian Miguel, 2014, Artif. Intell..

A review of literature on parallel constraint solving pdf

Ciaran McCreesh, Patrick Prosser, Ian P. Gent, 2018, Theory and Practice of Logic Programming.

Evaluation of a shortened version of the Abbreviated Mental Test in a series of elderly patients

D. G. Swain, P. Nightingale, 1997, Clinical rehabilitation.

Bayesian Spatial NBDA for Diffusion Data with Home-Base Coordinates

Peter Nightingale, Kevin N. Laland, Glenna F. Nightingale, 2015, PloS one.

Learning When to Use Automatic Tabulation in Constraint Model Reformulation

Z. Kiziltan, Ozgur Akgun, P. Nightingale, 2023, IJCAI.

Learning to Select SAT Encodings for Pseudo-Boolean and Linear Integer Constraints

James Alfred Walker, P. Nightingale, Felix Ulrich-Oltean, 2023, arXiv.org.

SAT Encodings for Pseudo-Boolean Constraints Together With At-Most-One Constraints

Mateu Villaret, Miquel Bofill, Josep Suy, 2021, Artif. Intell..

Automatically improving constraint models in Savile Row

Ian P. Gent, Ian Miguel, Peter Nightingale, 2017, Artif. Intell..

Automatic Tabulation in Constraint Models

Ian P. Gent, András Z. Salamon, Z. Kiziltan, 2022, ArXiv.

Automatic Discovery and Exploitation of Promising Subproblems for Tabulation

Ian P. Gent, Ian Miguel, Peter Nightingale, 2018, CP.

Search in the patience game 'Black Hole'

Inês Lynce, Ian P. Gent, Ian Miguel, 2007, AI Commun..

Selecting SAT Encodings for Pseudo-Boolean and Linear Integer Constraints

James Alfred Walker, P. Nightingale, Felix Ulrich-Oltean, 2022, CP.

Disability from posttraumatic headache is compounded by coexisting posttraumatic stress disorder

A. Belli, A. Sinclair, Z. Su, 2017 .

Effective Encodings of Constraint Programming Models to SMT

Ozgur Akgun, Peter Nightingale, Joan Espasa, 2020, CP.

Automatic Detection of At-Most-One and Exactly-One Relations for Improved SAT Encodings of Pseudo-Boolean Constraints

Carlos Ansótegui, Ian Miguel, Mateu Villaret, 2019, CP.

Evaluation of early and late presentation of patients with ocular mucous membrane pemphigoid to two major tertiary referral hospitals in the United Kingdom

S. Rauz, J. Dart, P. Nightingale, 2011, Eye.

Reversal of intractable septic shock with norepinephrine therapy.

J. Edwards, P. Nightingale, R. Wilkins, 1988, Critical care medicine.

Characteristics and Outcomes in Adult Patients Receiving Mechanical Ventilation: A 28-Day International Study

A. Anzueto, A. Arroliga, F. Frutos, 2002 .

Chronic renal failure following liver transplantation: a retrospective analysis.

J. Neuberger, G. Lipkin, B. Gunson, 1998, Transplantation.

SAT Encodings for Pseudo-Boolean Constraints Together With At-Most-One Constraints (Extended Abstract)

Miquel Bofill, Josep Suy, Mateu Villaret, 2023, IJCAI.

Extending Simple Tabular Reduction with Short Supports

Peter Nightingale, Christopher Jefferson, Christopher Jefferson, 2013, IJCAI.

Qualitative modelling via constraint programming pdf

Lars Kotthoff, Ian P. Gent, Ian Miguel, 2012, Constraints.

The extended global cardinality constraint: An empirical survey

Peter Nightingale, P. Nightingale, 2011, Artif. Intell..

Serum uric acid is independently associated with hypertension in patients with rheumatoid arthritis

G. Kitas, A. Stavropoulos-Kalinoglou, H. Milionis, 2007, Journal of Human Hypertension.

Generating Special-Purpose Stateless Propagators for Arbitrary Constraints

Ian P. Gent, Ian Miguel, Peter Nightingale, 2010, CP.

Generalised arc consistency for the AllDifferent constraint: An empirical survey

Ian P. Gent, Ian Miguel, Peter Nightingale, 2008, Artif. Intell..

Solving Non-Boolean Satisfiability Problems with Stochastic Local Search: A Comparison of Encodings

Alan M. Frisch, Peter Nightingale, Timothy J. Peugniez, 2001, Journal of Automated Reasoning.

Automated Symmetry Breaking and Model Selection in Conjure

Bilal Syed Hussain, Lars Kotthoff, Ian P. Gent, 2013, CP.

Closed Frequent Itemset Mining with Arbitrary Side Constraints

Ian Miguel, Peter Nightingale, Ozgur Akgun, 2018, 2018 IEEE International Conference on Data Mining Workshops (ICDMW).

Exploiting Short Supports for Improved Encoding of Arbitrary Constraints into SAT

Ian P. Gent, Ian Miguel, Peter Nightingale, 2016, CP.

Automatically Improving SAT Encoding of Constraint Problems Through Common Subexpression Elimination in Savile Row

Ian Miguel, Peter Nightingale, Patrick Spracklen, 2015, CP.