Результат исследований

Фильтр
статья в журнале по материалам конференции
2018

Finite size scaling in the dimer and six-vertex model

Belov, P. A., Enin, A. I. & Nazarov, A. A., 20 дек 2018, В : Journal of Physics: Conference Series. 1135, 1, 012024.

Результат исследований: Научные публикации в периодических изданияхстатья в журнале по материалам конференции

2012

CFD simulation of pressure and discharge surge in Francis turbine at off-design conditions

Chirkov, D., Avdyushenko, A., Panov, L., Bannikov, D., Cherny, S., Skorospelov, V. & Pylev, I., 1 дек 2012, В : IOP Conference Series: Earth and Environmental Science . 15, PART 3, 032038.

Результат исследований: Научные публикации в периодических изданияхстатья в журнале по материалам конференции

Открытый доступ
7 Цитирования (Scopus)
2005

Automated generation of simplification rules for SAT and MAXSAT

Kulikov, A. S., 17 окт 2005, В : Lecture Notes in Computer Science. 3569, стр. 430-436 7 стр.

Результат исследований: Научные публикации в периодических изданияхстатья в журнале по материалам конференции

12 Цитирования (Scopus)

Simulating Cutting Plane proofs with restricted degree of falsity by resolution

Hirsch, E. A. & Nikolenko, S. I., 17 окт 2005, В : Lecture Notes in Computer Science. 3569, стр. 135-142 8 стр.

Результат исследований: Научные публикации в периодических изданияхстатья в журнале по материалам конференции

4 Цитирования (Scopus)
2003

Algebraic proof systems over formulas

Grigoriev, D. & Hirsch, E. A., 28 июн 2003, В : Theoretical Computer Science. 303, 1, стр. 83-102 20 стр.

Результат исследований: Научные публикации в периодических изданияхстатья в журнале по материалам конференции

Открытый доступ
16 Цитирования (Scopus)

Worst-case study of local search for MAX-k-SAT

Hirsch, E. A., 15 авг 2003, В : Discrete Applied Mathematics. 130, 2, стр. 173-184 12 стр.

Результат исследований: Научные публикации в периодических изданияхстатья в журнале по материалам конференции

Открытый доступ
16 Цитирования (Scopus)

Worst-case upper bounds for MAX-2-SAT with an application to MAX-CUT

Gramm, J., Hirsch, E. A., Niedermeier, R. & Rossmanith, P., 15 авг 2003, В : Discrete Applied Mathematics. 130, 2, стр. 139-155 17 стр.

Результат исследований: Научные публикации в периодических изданияхстатья в журнале по материалам конференции

Открытый доступ
53 Цитирования (Scopus)