News
XOR-Groups in the Assignment
Written on 30.11.2020 15:36 by Christian Hechtl
Dear students,
some of you have discovered that when using the new version of XOR in the propositional formula, you get a combinatorial explosion for the "and not" clauses. Therefore we have introduced a simplification/abbreviation which can be used. You can find all the information in this forum post: https://forum.se.cs.uni-saarland.de:51443/t/xor-groups-in-propositional-formulas/249/3
Best,
the SE team