[SCIP] conflict analysis

[James Cussens]

Hi all,

I am considering adding conflict analysis to a constraint handler (CONSRESPROP) for which I already have a propagator (CONSPROP). The constraint handler involves only n X n binary variables which represent the adjacency matrix for a directed graph. The "reason" for a propagation is that a set of binary variables are locally fixed to 1 which means that another set of binary variables should all be fixed to 0.

I'm predicting that encoding the "reason" - the relevant set of binary variables locally fixed to 1 as a single inferinfo int will be tricky, particularly for large values of n. That's a bit frustrating since it's easy enough to store this set in the consdata at propagation (CONSPROP) time. Is there any reason to think that this information will not still be in my consdata when CONSRESPROP is called?

James

James Cussens
Room MVB 3.26
School of Computer Science, University of Bristol
Phone: +44 (0)117 455 8723
https://jcussens.github.io/
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://listserv.zib.de/pipermail/scip/attachments/20240801/69742fb7/attachment.html>