<?xml version='1.0' encoding='utf-8'?>
<package xmlns="http://www.idpf.org/2007/opf" unique-identifier="uuid_id" version="2.0">
    <metadata xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:opf="http://www.idpf.org/2007/opf">
        <dc:identifier opf:scheme="calibre" id="calibre_id">7160</dc:identifier>
        <dc:identifier opf:scheme="uuid" id="uuid_id">4219f969-d2aa-487a-b338-76bed83e61a9</dc:identifier>
        <dc:title>Register Allocation: What does the NP-completeness Proof of Chaitin et al. Really Prove?</dc:title>
        <dc:creator opf:file-as="Bouchez, Florent &amp; Darte, Alain &amp; Rastello, Fabrice &amp; Guillon, Christophe" opf:role="aut">Florent Bouchez</dc:creator>
        <dc:creator opf:file-as="Bouchez, Florent &amp; Darte, Alain &amp; Rastello, Fabrice &amp; Guillon, Christophe" opf:role="aut">Alain Darte</dc:creator>
        <dc:creator opf:file-as="Bouchez, Florent &amp; Darte, Alain &amp; Rastello, Fabrice &amp; Guillon, Christophe" opf:role="aut">Fabrice Rastello</dc:creator>
        <dc:creator opf:file-as="Bouchez, Florent &amp; Darte, Alain &amp; Rastello, Fabrice &amp; Guillon, Christophe" opf:role="aut">Christophe Guillon</dc:creator>
        <dc:contributor opf:file-as="calibre" opf:role="bkp">calibre (9.6.0) [https://calibre-ebook.com]</dc:contributor>
        <dc:date>0101-01-01T00:00:00+00:00</dc:date>
        <dc:language>en</dc:language>
        <meta name="calibre:timestamp" content="2026-05-09T17:05:21+00:00"/>
        <meta name="calibre:title_sort" content="Register Allocation: What does the NP-completeness Proof of Chaitin et al. Really Prove?"/>
        <meta name="calibre:user_metadata:#genre" content="{&quot;table&quot;: &quot;custom_column_1&quot;, &quot;column&quot;: &quot;value&quot;, &quot;datatype&quot;: &quot;text&quot;, &quot;is_multiple&quot;: &quot;|&quot;, &quot;kind&quot;: &quot;field&quot;, &quot;name&quot;: &quot;Genre&quot;, &quot;search_terms&quot;: [&quot;#genre&quot;], &quot;label&quot;: &quot;genre&quot;, &quot;colnum&quot;: 1, &quot;display&quot;: {&quot;is_names&quot;: false, &quot;description&quot;: &quot;&quot;, &quot;web_search_template&quot;: &quot;&quot;}, &quot;is_custom&quot;: true, &quot;is_category&quot;: true, &quot;link_column&quot;: &quot;value&quot;, &quot;category_sort&quot;: &quot;value&quot;, &quot;is_csp&quot;: false, &quot;is_editable&quot;: true, &quot;rec_index&quot;: 23, &quot;#value#&quot;: [&quot;Papers&quot;], &quot;#extra#&quot;: null, &quot;is_multiple2&quot;: {&quot;cache_to_list&quot;: &quot;|&quot;, &quot;ui_to_list&quot;: &quot;,&quot;, &quot;list_to_ui&quot;: &quot;, &quot;}}"/>
    </metadata>
    <guide>
        <reference type="cover" title="Cover" href="Register Allocation_ What does the NP-completeness Proof of Chaitin et al. Really Prove_ - Florent Bouchez &amp; Alain Darte &amp; Fabrice Rastello &amp; Christophe Guillon.jpg"/>
    </guide>
</package>
