ResearchTrend.AI
DPMS: An ADD-Based Symbolic Approach for Generalized MaxSAT Solving
v1v2 (latest)

DPMS: An ADD-Based Symbolic Approach for Generalized MaxSAT Solving

Anastasios Kyrillidis
Moshe Y. Vardi
Zhiwei Zhang
ArXiv (abs)PDFHTML

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
DPER: Dynamic Programming for Exist-Random Stochastic SAT
Vu Hoang Nguyen Phan
Moshe Y. Vardi
33
1
0
19 May 2022
DPO: Dynamic-Programming Optimization on Hybrid Constraints
DPO: Dynamic-Programming Optimization on Hybrid Constraints
Vu Hoang Nguyen Phan
Moshe Y. Vardi
TPM
28
2
0
17 May 2022