Výsledky vyhledávání - "partial polymorphism"

The Fine-Grained Complexity of Graph Homomorphism Problems: Towards the Okrasa and Rzazewski Conjecture

Autoři: Baril, Ambroise Couceiro, Miguel Lagerkvist, Victor

Zdroj: Journal of Multiple-Valued Logic and Soft Computing. 44(4):353-383

Témata: Graph coloring, graph homomorphism, partial polymorphism, clique, projective graph, core graph, Okrasa and Rzazewski conjecture

Popis souboru: electronic

Přístupová URL adresa: https://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-212398
https://www.oldcitypublishing.com/pdf/11500

Verification of some Boolean partial polymorphisms

Autoři: Behrisch, Mike orcid:0000-0003-0050-

Témata: Boolean relation, weak base, partial polymorphism, preservation, Boolean satisfiability problem, sat solving

Relation: https://github.com/z3prover/z3; https://zenodo.org/records/5745853; oai:zenodo.org:5745853; https://doi.org/10.5281/zenodo.5745853

Dostupnost: https://doi.org/10.5281/zenodo.5745853
https://zenodo.org/records/5745853

On hardness of some Boolean counting CSPs

Autoři: Behrisch, Mike Hermann, Miki

Témata: partial polymorphism, counting problems, #CSP, counting complexity, strong partial clone, restriction-closed partial clone, reductions, #ETH, weak base