39 citations
- Eötvös Loránd UniversityHU7 papers
- Konkoly ObservatoryHU4 papers
- University of SzegedHU4 papers
- Eastern Mediterranean UniversityCY3 papers
- HUN-REN Research Centre for Astronomy and Earth SciencesHU3 papers
- HUN-REN Wigner Research Centre for PhysicsHU2 papers
- University College LondonGB2 papers
- University of ViennaAT2 papers
- Budapest University of Technology and EconomicsHU1 paper
- Centre National de la Recherche ScientifiqueFR1 paper
- Forschungszentrum JülichDE1 paper
- Helmholtz Institute Erlangen-NürnbergDE1 paper
Showing 2026Show all
3 papers · 1 filter
cs.FL2026
Reverse Post Correspondence Problem and Undecidability of String Assembly Systems
Benedek Nagy
The Post Correspondence Problem is as follows: having a set of dominoes, is there any (maybe repeating) sequence of them such that the words formed by the upper parts and the lower…
cs.LO2026
A Non-CDCL SAT Solver with Early Conflict Detection: The Watched-Literal-Based CSFLOC Solver
Gábor Kusper
CSFLOC is a non-CDCL SAT decision procedure based on counting subsumed full-length ordered clauses. The classical CSFLOC loop traverses the ordered space of full-length clauses by…
cs.FL2026
2-Head 2D Returning Finite Automata
Henning Fernau, Benedek Nagy, R. Jennifer Rose +2
We introduce and study a family of two-head finite automata called two head returning finite automata (2-HRFA) operating on rectangular arrays of picture languages, in which both h…