𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A Short Note on Some Tractable Cases of the Satisfiability Problem

✍ Scribed by Hans van Maaren

Book ID
112252499
Publisher
Elsevier Science
Year
2000
Tongue
English
Weight
88 KB
Volume
158
Category
Article
ISSN
0890-5401

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A short note on the reattachment length
A short note on the reattachment length for BFS problem
✍ P. Rajesh Kanna; Manab Kumar Das πŸ“‚ Article πŸ“… 2006 πŸ› John Wiley and Sons 🌐 English βš– 182 KB πŸ‘ 1 views

## Abstract The standard backward‐facing step flow problem is solved for steady state laminar case using stream function‐vorticity method. The steady state results are obtained as the asymptotic solution of the transient formulation. The primary reattachment length is studied and the discrepancy in

A short note on some properties of rough
A short note on some properties of rough groups
✍ Changzhong Wang; Degang Chen πŸ“‚ Article πŸ“… 2010 πŸ› Elsevier Science 🌐 English βš– 436 KB

It is a useful method in research of group theory to construct a new group by using known groups. Lower and upper approximation operators of rough sets are applied into group theory and so the notion of a rough group has been introduced. In this paper, we first point out that there are still some in