search

gaoyuanning / aic-expresso

Automatically exported from code.google.com/p/aic-expresso
0 stars 0 forks source link

DPLL Style R_card logic enhancement #22

Open GoogleCodeExporter opened 8 years ago

GoogleCodeExporter commented 8 years ago 
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:

GoogleCodeExporter commented 8 years ago 
[deleted comment]
GoogleCodeExporter commented 8 years ago 
[deleted comment]
GoogleCodeExporter commented 8 years ago 
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 commented 8 years ago 
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 commented 8 years ago 
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 commented 8 years ago 
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