✦ LIBER ✦

A uniform solution to SAT using membrane creation

✍ Scribed by Miguel A. Gutiérrez-Naranjo; Mario J. Pérez-Jiménez; Francisco J. Romero-Campero

Book ID: 108281255
Publisher: Elsevier Science
Year: 2007
Tongue: English
Weight: 242 KB
Volume: 371
Category: Article
ISSN: 0304-3975
DOI: 10.1016/j.tcs.2006.10.013

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Uniform solutions to SAT and 3-SAT by sp

Uniform solutions to SAT and 3-SAT by spiking neural P systems with pre-computed resources

✍ Tseren-Onolt Ishdorj; Alberto Leporati 📂 Article 📅 2008 🏛 Springer Netherlands 🌐 English ⚖ 793 KB

Using a SAT-solver to schedule sports le

Using a SAT-solver to schedule sports leagues

✍ Andrei Horbach; Thomas Bartsch; Dirk Briskorn 📂 Article 📅 2010 🏛 Springer US 🌐 English ⚖ 376 KB

A finite-difference solution to a two-di

A finite-difference solution to a two-dimensional vibrating membrane problem using a spreadsheet program

✍ Abdelwahab Kharab 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 768 KB

Carbonylation of oxyhemoglobin solution

Carbonylation of oxyhemoglobin solution (HbO2→ HbCO) using a membrane oxygenator

✍ I. Fukutomi; H. Sakai; S. Takeoka; E. Tsuchida; K. Sakai 📂 Article 📅 2002 🏛 Springer 🌐 English ⚖ 127 KB

Oxidative dehydrogenation of butane usin

Oxidative dehydrogenation of butane using inert membrane reactor with a non-uniform permeation pattern

✍ S.H Ge; C.H Liu; L.J Wang 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 118 KB

Inert ceramic membrane reactors have been investigated for the oxidative dehydrogenation of butane to butadiene and butene. The partially coated porous ceramic membranes have been used as an air distributor to a fixed-bed of V-Mg-O catalyst. The catalyst characterization was carried out by BET, X-ra

Long-time uniform stability of solution

Long-time uniform stability of solution to magnetohydrodynamics equation

✍ Guo Boling; Zhang Linghai; Huang Haiyang 📂 Article 📅 1999 🏛 SP Editorial Committee of Applied Mathematics - A 🌐 English ⚖ 196 KB