Skip to main content

Summit Research Repository

SIGN IN

This site

SFU.ca

Submit your Research

Main navigation

Home
Collections
About
Contact
Search Summit

Liu, Heng

Constraint programming solutions to LogicQL program verification and system resilience problems

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