ℹ️
🇬🇧
Search
Search for people relevant for "SATISFIABILITY"
SATISFIABILITY
Person
Class
Person
Publication
Programmes
Export current view
doc. RNDr. Martin Tancer Ph.D.
Academic staff at Faculty of Mathematics and Physics
3 classes
55 publications
Classes
class
Topological Methods in Combinatorics
NDMI014 |
Faculty of Mathematics and Physics
class
Computational Geometry
NDMI097 |
Faculty of Mathematics and Physics
class
Math++
NMAI071 |
Faculty of Mathematics and Physics
Publications
publication
NP-HARDNESS OF COMPUTING PL GEOMETRIC CATEGORY IN DIMENSION
2023 |
Faculty of Mathematics and Physics
publication
Even Maps, the Colin de Verdiere Number and Representations of Graphs
2022 |
Faculty of Mathematics and Physics
publication
SHELLINGS AND SHEDDINGS INDUCED BY COLLAPSES
2021 |
Faculty of Mathematics and Physics
publication
Embeddability in R-3 is NP-hard
2020 |
Faculty of Mathematics and Physics
publication
Even maps, the Colin de Verdiere number and representations of graphs
2020 |
Faculty of Mathematics and Physics
publication
Embeddability in R3 is NP-hard
2018 |
Faculty of Mathematics and Physics
publication
ON GENERALIZED HEAWOOD INEQUALITIES FOR MANIFOLDS: A VAN KAMPEN-FLORES-TYPE NONEMBEDDABILITY RESULT
2017 |
Faculty of Mathematics and Physics
publication
On Generalized Heawood Inequalities for Manifolds: A Van Kampen-Flores-type Nonembeddability Result
2015 |
Faculty of Mathematics and Physics
publication
Backbone Colorings and Generalized Mycielski Graphs
2009 |
Faculty of Mathematics and Physics
publication
Weak Saturation of Multipartite Hypergraphs
2023 |
Faculty of Mathematics and Physics
Load more publications (45)
Loading network view...