Remarques sur les révisions

Nom de version : Release-0-6


Default options include domain splitting (dichotomic branching), last-conflict variable ordering, and boosting search with variable elimination of small degree. Try Virtual Arc Consistency on preprocessing using options A0C10 (all costs are multiplied by 10, simulating rational costs).


Includes general variable elimination as a preprocessing option. Includes Virtual Arc Consistency (preprocessing and/or during search). Basic support for new cost valuations (e.g. bicriteria, etc).

Powered By FusionForge