( en | de | ru )

 

Disambiguation of "Nightingale, Peter"

Author of the publication

copydeleteadd this publication to your clipboard
A review of literature on parallel constraint solving.

, , , , , , and . Theory Pract. Log. Program., 18 (5-6): 725-758 (2018)

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)Generalised arc consistency for the AllDifferent constraint: An empirical survey., , and . Artif. Intell., 172 (18): 1973-2000 (2008)Towards a Model of Puzznic., , , , , and . CoRR, (2023)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)Non-binary quantified CSP: algorithms and modelling.. Constraints An Int. J., 14 (4): 539-581 (2009)Savile Row Manual.. CoRR, (2022)Conjure: Automatic Generation of Constraint Models from Problem Specifications., , , , , and . Artif. Intell., (2022)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)