DPLL Style R_card logic enhancement

[GoogleCodeExporter]

Logic is currently implemented on:

https://aic-expresso.googlecode.com/svn/branches/private/ctjoreilly/carddisjopt 

and relevant pseudo-code updates (as they stand currently) are in attached doc.

Original issue reported on code.google.com by ctjoreilly@gmail.com on 15 May 2013 at 4:42

Attachments:

• javadocpseudo-code.txt

[GoogleCodeExporter]

[deleted comment]

[GoogleCodeExporter]

[deleted comment]

[GoogleCodeExporter]

r791 merges in the experimental DPLL logic from the branch:

https://aic-expresso.googlecode.com/svn/branches/private/ctjoreilly/carddisjopt

it is turned off by default (as a few aic-expresso tests currently fail when 
on). To turn on use:

-Dexpresso.cardinality.use.experimental.dpll.logic=true 

Original comment by ctjoreilly@gmail.com on 3 Apr 2014 at 6:31

[GoogleCodeExporter]

Note: for clarity the DPLL style logic for R_card_conjunction and 
R_card_disjunction has been placed in separate java files form the current 
implementation. CardinalityDPLLConjunction.java and CardinalityDPLLDisjunction. 
The intent is that once this implementation becomes mature that these 
completely replace the current implementations.

Original comment by ctjoreilly@gmail.com on 3 Apr 2014 at 6:34

[GoogleCodeExporter]

NOTE: Running the RandomCardinalityStressIT stress test takes an hour plus 
(still to complete) when run with the DPLL logic enabled. Therefore, this 
option should remain off by default until a better understanding of the extreme 
degradation in performance under certain scenarios occurs.

Original comment by ctjoreilly@gmail.com on 4 Apr 2014 at 4:15

[GoogleCodeExporter]

Hi Rodrigo,

I am assigning over to you to look at.

Thanks

Ciaran

Original comment by ctjoreilly@gmail.com on 4 Apr 2014 at 6:20