Network Satisfaction Problems Solved by k-Consistency

Research output: Contribution to book/conference proceedings/anthology/report › Conference contribution › Contributed › peer-review

Contributors

Details

Original languageEnglish
Title of host publication50th International Colloquium on Automata, Languages, and Programming (ICALP 2023)
Pages116:1-116:20
Number of pages20
Publication statusPublished - 2023
Peer-reviewedYes

Publication series

SeriesLeibniz international proceedings in informatics : LIPIcs
Volume261
ISSN1868-8969

External IDs

Scopus 85167338316
ORCID /0000-0001-8228-3611/work/152544381

Keywords