Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2205.03747
Cited By
v1
v2 (latest)
DPMS: An ADD-Based Symbolic Approach for Generalized MaxSAT Solving
8 May 2022
Anastasios Kyrillidis
Moshe Y. Vardi
Zhiwei Zhang
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"DPMS: An ADD-Based Symbolic Approach for Generalized MaxSAT Solving"
2 / 2 papers shown
Title
DPER: Dynamic Programming for Exist-Random Stochastic SAT
Vu Hoang Nguyen Phan
Moshe Y. Vardi
23
0
0
19 May 2022
DPO: Dynamic-Programming Optimization on Hybrid Constraints
Vu Hoang Nguyen Phan
Moshe Y. Vardi
TPM
22
2
0
17 May 2022
1
