Regular PaperMemory Mangement in the PoSSo Solver☆
Under an Elsevier user license
open archive
Cited by (0)
- ☆
The research described here has been funded in part by the ESPIRIT Basic Research Action, project PoSSo
Part of this work has been done while the first author was visiting the International Computer Science Institute, Berkeley, California
- f2
E-mail: {attardi,tito}@di.unipi.it
Copyright © 1996 Published by Elsevier Ltd. All rights reserved.