Skip to main content

Summit Research Repository

SIGN IN

This site

SFU.ca

Submit your Research

Main navigation

Home
Collections
About
Contact
Search Summit

Home
Instance transformation for declarative solvers
Supplementary file for node/15901 (Appendix D: Instlator.zip)

Supplementary file for node/15901 (Appendix D: Instlator.zip)

Download file	Size
etd9329_MO'Connor_supp_001.zip	14.53 KB

Views & downloads - as of June 2023

Views: 0
Downloads: 0

Is part of:

Instance transformation for declarative solvers

Author: O'Connor, Megan Kersten

2015-12-04

Declarative specification-based problem solving systems, or "model-and-solve" systems, solve combinatorial search problems based on…

Summit

Home
About
Submit thesis
Submit work
Contact

Log in

Simon Fraser University

Library
Programs
Learning
Community
Research

About
Academic Calendar
Maps & directions
Road conditions
Emergency information

Facebook
Twitter
Instagram
YouTube
LinkedIn

Give to SFU

Simon Fraser University Library is grateful to be located on the lands of the xʷməθkʷəy̓əm (Musqueam), Sḵwx̱wú7mesh (Squamish), səl̓ilw̓ətaʔɬ (Tsleil-Waututh), q̓íc̓əy̓ (Katzie), kʷikʷəƛ̓əm (Kwikwetlem), qiqéyt (Qayqayt), qʼʷa:n̓ƛʼən̓ (Kwantlen), Səmyámə (Semiahmoo), and sc̓əwaθən (Tsawwassen) Nations.

Acknowledging the benefits of occupying this land, the Library commits to becoming a more welcoming space for Indigenous Peoples by centring Indigenous voices in our collections, services, and programs.

Terms and conditions
© Simon Fraser University