<mods:mods xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:mods="http://www.loc.gov/mods/v3" version="3.0" xsi:schemaLocation="http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-0.xsd"><mods:titleInfo><mods:title>The Three Dimensional Logic Engine</mods:title></mods:titleInfo><mods:name type="personal"><mods:namePart type="given">Matthew</mods:namePart><mods:namePart type="family">Kitching</mods:namePart><mods:role><mods:roleTerm type="text">author</mods:roleTerm></mods:role></mods:name><mods:name type="personal"><mods:namePart type="given">Sue</mods:namePart><mods:namePart type="family">Whitesides</mods:namePart><mods:role><mods:roleTerm type="text">author</mods:roleTerm></mods:role></mods:name><mods:abstract>We consider the following graph embedding question: given a graph G, is it possible to map its vertices to points in 3D such that G is isomorphic to the mutual nearest neighbor graph of the set P of points to which the vertices are mapped? We show that this problem is NP-hard. We do this by extending the "logic engine" method to three dimensions by using building blocks inpired by the structure of diamond and by constructions of A.G. Bell and B. Fuller.</mods:abstract><mods:classification authority="lcc">Z.250 Geometry</mods:classification><mods:originInfo><mods:dateIssued encoding="iso8061">2004</mods:dateIssued></mods:originInfo><mods:originInfo><mods:publisher>Springer</mods:publisher></mods:originInfo><mods:genre>Conference Paper</mods:genre></mods:mods>