Go to the corresponding LIPIcs Volume Portal 
Asimi, Kristina ; Barto, Libor ; Butti, Silvia
pdfformat: 

@InProceedings{asimi_et_al:LIPIcs.CP.2022.2, author = {Asimi, Kristina and Barto, Libor and Butti, Silvia}, title = {{FixedTemplate Promise Model Checking Problems}}, booktitle = {28th International Conference on Principles and Practice of Constraint Programming (CP 2022)}, pages = {2:12:17}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {9783959772402}, ISSN = {18688969}, year = {2022}, volume = {235}, editor = {Solnon, Christine}, publisher = {Schloss Dagstuhl  LeibnizZentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/opus/volltexte/2022/16631}, URN = {urn:nbn:de:0030drops166310}, doi = {10.4230/LIPIcs.CP.2022.2}, annote = {Keywords: Model Checking Problem, FirstOrder Logic, Promise Constraint Satisfaction Problem, MultiHomomorphism} }
Keywords:  Model Checking Problem, FirstOrder Logic, Promise Constraint Satisfaction Problem, MultiHomomorphism  
Collection:  28th International Conference on Principles and Practice of Constraint Programming (CP 2022)  
Issue Date:  2022  
Date of publication:  23.07.2022 