◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

S. Kochemazov

6 papers hereh-index 10304 citations55 works total

Matching runs newest-first, so older work may not be attached to this profile yet.

author position
  • first author2
  • middle author1
  • last author3

Across the 6 of 6 papers where every author was matched, so the position is known.

fields
  • cs.AI3
  • cs.LO1
  • cs.SI1
  • math.CO1

identity via Semantic Scholar / OpenAlex

activity
20142018
most citedEncoding Cryptographic Functions to SAT Using Transalg System

21 citations · 54 across the 6 of their papers we have counts for

collaborators
Showing math.COShow all

1 paper · 1 filter

math.CO2017★ 1 cited

Fast Algorithm for Enumerating Diagonal Latin Squares of Small Order

Stepan Kochemazov, Eduard Vatutin, Oleg Zaikin

In this paper we propose an algorithm for enumerating diagonal Latin squares of small order. It relies on specific properties of diagonal Latin squares to employ symmetry breaking…

◍wovepaper

Papers, researchers and institutions, woven together.

Explore
  • Search
  • Researchers
  • Institutions
Account
  • Library
  • Chat
Data
  • arXiv.org
  • Semantic Scholar
  • OpenAlex
  • Latest RSS
AboutContactPrivacyDevelopersllms.txtopenapi.json
Not affiliated with arXiv. Researcher data from Semantic Scholar (ODC-BY) and OpenAlex.