( en | de | ru )

 

Disambiguation of "Nightingale, Peter"

Author of the publication

copydeleteadd this publication to your clipboard
Generalized Support and Formal Development of Constraint Propagators.

, , and . CoRR, (2015)

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

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)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)Establishing Timing Requirements and Control Attributes for Control Loops in Real-Time Systems., , and . ECRTS, page 121-. IEEE Computer Society, (2003)Conjure: Automatic Generation of Constraint Models from Problem Specifications (Extended Abstract)., , , , , and . IJCAI, page 6833-6838. ijcai.org, (2023)Savile Row Manual.. CoRR, (2022)Conjure: Automatic Generation of Constraint Models from Problem Specifications., , , , , and . Artif. Intell., (2022)Non-binary quantified CSP: algorithms and modelling.. Constraints An Int. J., 14 (4): 539-581 (2009)Learning to select SAT encodings for pseudo-Boolean and linear integer constraints., , and . Constraints An Int. J., 28 (3): 397-426 (September 2023)Encoding Quantified CSPs as Quantified Boolean Formulae., , and . ECAI, page 176-180. IOS Press, (2004)