( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Learning When to Use Automatic Tabulation in Constraint Model Reformulation.

, , , , , и . IJCAI, стр. 1902-1910. 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.

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)
 

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

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)Towards a Model of Puzznic., , , , , и . CoRR, (2023)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)Encoding Quantified CSPs as Quantified Boolean Formulae., , и . ECAI, стр. 176-180. IOS Press, (2004)Modelling Equidistant Frequency Permutation Arrays: An Application of Constraints to Mathematics., , , и . CP, том 5732 из Lecture Notes in Computer Science, стр. 50-64. Springer, (2009)How People Visually Represent Discrete Constraint Problems., , , и . IEEE Trans. Vis. Comput. Graph., 26 (8): 2603-2619 (2020)Generalized support and formal development of constraint propagators., , и . AI Commun., 30 (5): 325-346 (2017)S-Crucial and Bicrucial Permutations with Respect to Squares., , , , и . J. Integer Seq., 18 (6): 15.6.5 (2015)