AAAI Publications
Open Conference Systems
Conference Help
User
Username
Password
Remember me
Conference Content
Search
All
Authors
Title
Abstract
Index terms
Full Text
Browse
By Conference
By Author
By Title
Font Size
Information
For Authors
Home
About
Log In
Account
Search
Archive
Announcements
Home
>
Search
>
Author Details
Author Details
Aavani, Amir, Simon Fraser University, Canada
Tenth Symposium of Abstraction, Reformulation, and Approximation
- Full Papers
New Encoding for Translating Pseudo-Boolean Constraints into SAT
Abstract
PDF