( en | de | ru )

 

Disambiguation of "Nightingale, Peter"

Author of the publication

copydeleteadd this publication to your clipboard
Conjure: Automatic Generation of Constraint Models from Problem Specifications (Extended Abstract).

, , , , , and . IJCAI, page 6833-6838. ijcai.org, (2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Michael Nightingale

Nightingale Kyewalyanga

Tanja Elisabeth Peters

George Gershwins und Jerome Kerns Musicalsongs: ihre Ähnlichkeit, Wahrnehmung und musikalische Struktur. Uni Köln, (2008)

Andre Peters

Description and determination of soil hydraulic properties on the laboratory scale. TU Braunschweig, (2008)

Jillian Petersen

Diversity and ecology of chemosynthetic symbioses in deep-sea invertebrates. Uni Bremen, (2009)
 

Other publications of authors with the same name

Automatically Improving SAT Encoding of Constraint Problems Through Common Subexpression Elimination in Savile Row., , and . CP, volume 9255 of Lecture Notes in Computer Science, page 330-340. Springer, (2015)Towards a Model of Puzznic., , , , , and . CoRR, (2023)Generalised arc consistency for the AllDifferent constraint: An empirical survey., , and . Artif. Intell., 172 (18): 1973-2000 (2008)Conjure: Automatic Generation of Constraint Models from Problem Specifications (Extended Abstract)., , , , , and . IJCAI, page 6833-6838. ijcai.org, (2023)Establishing Timing Requirements and Control Attributes for Control Loops in Real-Time Systems., , and . ECRTS, page 121-. IEEE Computer Society, (2003)Encoding Quantified CSPs as Quantified Boolean Formulae., , and . ECAI, page 176-180. IOS Press, (2004)Modelling Equidistant Frequency Permutation Arrays: An Application of Constraints to Mathematics., , , and . CP, volume 5732 of Lecture Notes in Computer Science, page 50-64. Springer, (2009)How People Visually Represent Discrete Constraint Problems., , , and . IEEE Trans. Vis. Comput. Graph., 26 (8): 2603-2619 (2020)Generalized support and formal development of constraint propagators., , and . AI Commun., 30 (5): 325-346 (2017)S-Crucial and Bicrucial Permutations with Respect to Squares., , , , and . J. Integer Seq., 18 (6): 15.6.5 (2015)