- Library Home /
- Search Collections /
- Open Collections /
- Browse Collections /
- BIRS Workshop Lecture Videos /
- A Pseudo-Boolean Solver Interface
Open Collections
BIRS Workshop Lecture Videos
Featured Collection
BIRS Workshop Lecture Videos
A Pseudo-Boolean Solver Interface Vinyals, Marc
Description
IPASIR is a standard API that many SAT solvers adhere to, and which allows users to make incremental calls efficiently. No such standard exists for Pseudo-Boolean solvers, with each solver exposing its own interface. In this talk we will discuss how a Pseudo-Boolean analogue of IPASIR might look, discuss design challenges, and solicit feedback from the community
Item Metadata
| Title |
A Pseudo-Boolean Solver Interface
|
| Creator | |
| Publisher |
Banff International Research Station for Mathematical Innovation and Discovery
|
| Date Issued |
2026-01-14
|
| Description |
IPASIR is a standard API that many SAT solvers adhere to, and which allows users to make incremental calls efficiently. No such standard exists for Pseudo-Boolean solvers, with each solver exposing its own interface. In this talk we will discuss how a Pseudo-Boolean analogue of IPASIR might look, discuss design challenges, and solicit feedback from the community
|
| Extent |
26.0 minutes
|
| Subject | |
| Type | |
| File Format |
video/mp4
|
| Language |
eng
|
| Notes |
Author affiliation: University of Auckland
|
| Series | |
| Date Available |
2026-01-19
|
| Provider |
Vancouver : University of British Columbia Library
|
| Rights |
Attribution-NonCommercial-NoDerivatives 4.0 International
|
| DOI |
10.14288/1.0451309
|
| URI | |
| Affiliation | |
| Peer Review Status |
Unreviewed
|
| Scholarly Level |
Researcher
|
| Rights URI | |
| Aggregated Source Repository |
DSpace
|
Item Media
Item Citations and Data
Rights
Attribution-NonCommercial-NoDerivatives 4.0 International