Quantcast
Channel: Keep the gradient flowing
Viewing all articles
Browse latest Browse all 195

Efficient DPLL algorithm

$
0
0

Background: DPLL is the algorithm behind SymPy's implementation of logic.inference.satisfiable After reading the original papers by Davis & Putnam [1], I managed to implement a more efficient version of the DPLL algorithm. It is 10x times faster on medium-sized problems (40 variables), and solves some wrong result bugs [2]. As a side effect, the query module has become 2x faster Source code lives in my sympy repo, http:/fseoane.net/git/sympy.git, branch logic References: [1]: http://portal.acm.org/citation.cfm?coll=GUIDE&dl=GUIDE&id=321034 [2] http://people.sc.fsu.edu/~burkardt/data/cnf/dubois22.cnf


Viewing all articles
Browse latest Browse all 195

Trending Articles


Vimeo 10.7.1 by Vimeo.com, Inc.


UPDATE SC IDOL: TWO BECOME ONE


KASAMBAHAY BILL IN THE HOUSE


Girasoles para colorear


Presence Quotes – Positive Quotes


EASY COME, EASY GO


Love with Heart Breaking Quotes


Re:Mutton Pies (lleechef)


Ka longiing longsem kaba skhem bad kaba khlain ka pynlong kein ia ka...


Vimeo 10.7.0 by Vimeo.com, Inc.


FORECLOSURE OF REAL ESTATE MORTGAGE


FORTUITOUS EVENT


Pokemon para colorear


Sapos para colorear


Smile Quotes


Letting Go Quotes


Love Song lyrics that marks your Heart


RE: Mutton Pies (frankie241)


Hato lada ym dei namar ka jingpyrshah jong U JJM Nichols Roy (Bah Joy) ngin...


Long Distance Relationship Tagalog Love Quotes