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

Фильтр
материалы
2006

A new approach to proving upper bounds for MAX-2-SAT

Kojevnikov, A. & Kulikov, A. S., 28 фев 2006, стр. 11-17. 7 стр.

Результат исследований: Материалы конференцийматериалы

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

On some problems of computational geometry: Isogeometric smoothing and geometric search

Kulikov, A., 1 дек 2005.

Результат исследований: Материалы конференцийматериалы

1998

Two new upper bounds for SAT

Hirsch, E. A., 1 дек 1998, стр. 521-530. 10 стр.

Результат исследований: Материалы конференцийматериалы

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