Skip to main content
Sign in
Summit Research Repository
SIGN IN
SFU Mail
goSFU
Canvas
Library Catalogue
Search
Search
This site
SFU.ca
Submit your Research
Menu
Main navigation
Home
Collections
About
Contact
Search Summit
Search
Search
Sort by
Relevance
Title
Order
Asc
Desc
Search
Displaying 1 - 11 of 11
Planarity Based Algorithms for Minor Embedding in Grid Graphs
Author:
Etezad, Seyedeh Sahba
Date created:
2016-07-20
Instance transformation for declarative solvers
Author:
O'Connor, Megan Kersten
Date created:
2015-12-04
Minor-embedding planar graphs in grid graphs
Author:
Tavakoli, Ehsan
Date created:
2016-05-17
Synthesis of inhibitors of 2,3-oxidosqualene-lanosterol cyclase
Author:
Dodd, Dharmpal Singh
Date created:
1992
Electrocyclic reactions of aziridines. --
Author:
Akhtar, Muhammad Humayoun
Date created:
1970
Lifted unit propagation
Author:
Vaezipoor, Pashootan
Date created:
2012-03-13
Finding a satisfying assignment for planted NAE-E3-SAT using a voting style algorithm
Author:
Bolourani, Siavash
Date created:
2010-06-30
Mechanistic study on the irradiation of iminophosphoranes
Author:
Yim, Andrew Suet-Wai
Date created:
1977
CDCL SAT solver heuristics: Clause management, instance structure, and decisions
Author:
Jamali, Sima
Date created:
2021-08-20
Palladium catalyzed synthesis of 1,4 dienes
Author:
Hutzinger, Michael Wernher
Date created:
1987
Syntheses of sulfur-substituted 2,3-oxidosqualene analogs as inhibitors of 2,3-oxidosqualene-lanosterol cyclase
Author:
Zheng, Yi Feng
Date created:
1995