In some application areas such as circuit verification, bounded model checking, logical cryptanalysis, and approximate model counting, some requirements can be succinctly captured with parity (xor) constraints.
Tietyillä sovellusalueilla, kuten piiriverifiointi, rajoitettu mallintarkastus, looginen kryptoanalyysi ja approksimoiva ratkaisumallien lukumäärän laskenta, ongelmakuvauksien vaatimuksia voidaan ilmaisuvoimaisesti mallintaa pariteettirajoitteilla.ParaCrawl Corpus ParaCrawl Corpus