Items where authors include "Rödl, V."

Up a level
Export as [feed] Atom [feed] RSS
Jump to: Article
Number of items: 1.

Article

Koucký, M. orcid.org/0000-0003-0808-2269, Rödl, V. and Talebanfard, N. orcid.org/0000-0002-3524-9282 (2021) A separator theorem for hypergraphs and a CSP-SAT algorithm. Logical Methods in Computer Science, 17 (4). 17:1-17:14. ISSN 1860-5974

This list was generated on Sun Apr 28 15:33:20 2024 BST.