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 - 6 of 6
Enfragmo: A System for Grounding Extended First-Order Logic to SAT
Author:
Aavani, Amir
Date created:
2014-02-18
Solving model expansion tasks: System design and modularity
Author:
Wu, Xiongnan
Date created:
2012-08-07
Partial grounding
Author:
Guild, Brendan
Date created:
2011-04-26
A language-independent framework for reasoning about preferences for declarative problem solving
Author:
Ensan, Alireza
Date created:
2019-04-10
A method for solving np search based on model expansion and grounding
Author:
Mohebali, Raheleh
Date created:
2007
Solving NP search problems with model expansion
Author:
Hach, Faraz
Date created:
2007