✦ LIBER ✦

Experimental study on strategy of combining SAT algorithms

✍ Scribed by Weifeng Lu; Yuping Zhang

Book ID: 105665370
Publisher: Springer
Year: 1998
Tongue: English
Weight: 561 KB
Volume: 13
Category: Article
ISSN: 1000-9000
DOI: 10.1007/bf02946504

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Experimental studies on graph drawing al

Experimental studies on graph drawing algorithms

✍ Luca Vismara; Giuseppe Di Battista; Ashim Garg; Giuseppe Liotta; Roberto Tamassi 📂 Article 📅 2000 🏛 John Wiley and Sons 🌐 English ⚖ 1023 KB

Graph drawing plays an important role in the solution of many information visualization problems. Most of the graph drawing algorithms are accompanied by a theoretical analysis of their characteristics, but only extensive experimentations can assess the practical performance of graph drawing algorit

An analytical study of strategy-oriented

An analytical study of strategy-oriented restructuring algorithms

✍ Jehan-François Pâris; Domenico Ferrari 📂 Article 📅 1984 🏛 Elsevier Science 🌐 English ⚖ 992 KB

Parallel thinning algorithms on multicom

Parallel thinning algorithms on multicomputers: experimental study on load balancing

✍ Montoya, M. G. ;Gil, C. ;Garcia, I. 📂 Article 📅 2000 🏛 John Wiley and Sons 🌐 English ⚖ 156 KB

Combined experimental/numerical study on

Combined experimental/numerical study on the precipitation of nanoparticles

✍ Hans-Christoph Schwarzer; Wolfgang Peukert 📂 Article 📅 2004 🏛 American Institute of Chemical Engineers 🌐 English ⚖ 275 KB 👁 2 views

Experimental studies on the combination

Experimental studies on the combination of radiation and chemotherapy

✍ Peter Lelieveld; Truus Smink; Luke van Putten 📂 Article 📅 1978 🏛 Elsevier Science 🌐 English ⚖ 473 KB

Combined experimental and theoretical st

Combined experimental and theoretical study of CO on NiAl(110)

📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 209 KB