[NeuronRain-mailing-list] [asfer:code] New commit [r2030] by ka_shrinivaasan

[asfer S. r. <no...@co...>]

--------------------------------------------------------------------------------------------------------------
SAT Solver Update - Parity of the Assignment
--------------------------------------------------------------------------------------------------------------
1. solve_SAT2() function of CNFSATSolver.py has been changed to compute binary parity (sum of 1s) after rounding
and real parity (sum of real values for variables before rounding)
2. Rationale is both the parities should be approximately close enough which is another measure of efficiency
of MAXSAT approximation. Real parity is nothing but Riemann Sum Discrete Integral of the polynomial through
real assignment points.
3. Notion of real parities is non-conventional and is introduced as proprietary NeuronRain SAT Solver feature.
4. This instance solves 1000 variables and Alpha=1.0 and MAXSAT approximation ratio is ~97%. LSQR solver
has been invoked instead of LSMR because of absence of LSMR in SciPy 0.9.0
5. Logs for this have been committed to testlogs/CNFSATSolver.1000variablesAlpha1AssignmentParity.3May2018

By ka_shrinivaasan on 05/03/2018 10:55
[**View Changes**](https://sourceforge.net/p/asfer/code/2030/)





---

Sent from sourceforge.net because you indicated interest in <https://sourceforge.net/p/asfer/code/>



To unsubscribe from further messages, please visit <https://sourceforge.net/auth/subscriptions/>