𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Towards an Efficient Library for SAT: a Manifesto

✍ Scribed by Enrico Giunchiglia; Massimo Narizzano; Armando Tacchella; Moshe Y. Vardi

Book ID
108497998
Publisher
Elsevier Science
Year
2001
Tongue
English
Weight
886 KB
Volume
9
Category
Article
ISSN
1571-0653

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

An efficient solver for weighted Max-SAT
An efficient solver for weighted Max-SAT
✍ Teresa Alsinet; Felip ManyΓ ; Jordi Planes πŸ“‚ Article πŸ“… 2007 πŸ› Springer US 🌐 English βš– 505 KB
An efficient and flexible C++ library fo
An efficient and flexible C++ library for concurrent programming
✍ Agostino Poggi; Giovanni Rimassa πŸ“‚ Article πŸ“… 1998 πŸ› John Wiley and Sons 🌐 English βš– 221 KB

A major problem for the integration of concurrency in object-oriented languages is the so-called inheritance anomaly, i.e. the conflicts between inheritance and concurrency that often cause the need to redefine inherited methods in order to maintain the integrity of objects. Several solutions have b