OW2 Consortium

Mail Archive Home | sat4j-dev List | December 2006 Index

<-- Date Index -->

<-- Thread Index -->

Implementing Bias with Variable Ordering for SAT4J

Subject: Implementing Bias with Variable Ordering for SAT4J
From: Daniel Le Berre <leberre@xxxxxxxxxxxxxxxxxxx>
Date: Sun, 17 Dec 2006 13:05:20 +0100

An example of development of new variable ordering using SAT4J.
http://www.cs.neu.edu/home/wjgoode/csg260.html

The presentation provides good insights of the internals of SAT4J :)

   Daniel

Implementing Bias with Variable Ordering for SAT4J, Daniel Le Berre

<-- Date Index -->

<-- Thread Index -->

Powered by MHonArc.

Copyright © 2006-2007, OW2 Consortium | contact | webmaster.