( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Generalised arc consistency for the AllDifferent constraint: An empirical survey.

, , и . Artif. Intell., 172 (18): 1973-2000 (2008)

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.

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)
 

Другие публикации лиц с тем же именем

Towards a Model of Puzznic., , , , , и . CoRR, (2023)Automatically Improving SAT Encoding of Constraint Problems Through Common Subexpression Elimination in Savile Row., , и . CP, том 9255 из Lecture Notes in Computer Science, стр. 330-340. Springer, (2015)Generalised arc consistency for the AllDifferent constraint: An empirical survey., , и . Artif. Intell., 172 (18): 1973-2000 (2008)Conjure: Automatic Generation of Constraint Models from Problem Specifications (Extended Abstract)., , , , , и . IJCAI, стр. 6833-6838. ijcai.org, (2023)Establishing Timing Requirements and Control Attributes for Control Loops in Real-Time Systems., , и . ECRTS, стр. 121-. IEEE Computer Society, (2003)Conjure: Automatic Generation of Constraint Models from Problem Specifications., , , , , и . Artif. Intell., (2022)Savile Row Manual.. CoRR, (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., , и . Constraints An Int. J., 28 (3): 397-426 (сентября 2023)Encoding Quantified CSPs as Quantified Boolean Formulae., , и . ECAI, стр. 176-180. IOS Press, (2004)