𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A Brief Proof of the Full Completeness of Shin’s Venn Diagram Proof System

✍ Scribed by Nathaniel Miller

Publisher
Springer Netherlands
Year
2005
Tongue
English
Weight
183 KB
Volume
35
Category
Article
ISSN
0022-3611

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A short proof of the NP-completeness of
A short proof of the NP-completeness of minimum sum interval coloring
✍ Dániel Marx 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 154 KB

In the minimum sum coloring problem we have to assign positive integers to the vertices of a graph in such a way that neighbors receive different numbers and the sum of the numbers is minimized. Szkalicki has shown that minimum sum coloring is NP-hard for interval graphs. Here we present a simpler p

The SCALPEL proof of concept system
The SCALPEL proof of concept system
✍ L.R. Harriott; S.D. Berger; C. Biddick; M.I. Blakey; S.W. Bowler; K. Brady; R.M. 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 296 KB

We have designed and constructed a projection electron beam lithography system based on the SCALPEL (SCattering with Angular Limitation in Projection Electron beam Lithography) principle. The experimental tool was built to analyze the efficacy of this approach as an alternative to photolithography f