Zuzana Hanikov
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2003–2026
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CSL | Satisfiability in Łukasiewicz Logic and Its Unbounded Relative. | Zuzana Hanikov, Filip Jankovec |
| 2023 | TABLEAUX | The MaxSAT Problem in the Real-Valued MV-Algebra. | Zuzana Hanikov, Felip Many, Amanda Vidal |
| 2020 | CiE | On the Complexity of Validity Degrees in Łukasiewicz Logic. | Zuzana Hanikov |
| 2003 | EUSFLAT | On the complexity of propositional logics with an involutive negation. | Zuzana Hanikov |