Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
2001.00819
Cited By
v1
v2
v3 (latest)
Bounds on the size of PC and URC formulas
Journal of Artificial Intelligence Research (JAIR), 2020
3 January 2020
P. Kucera
P. Savický
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Bounds on the size of PC and URC formulas"
1 / 1 papers shown
On CNF formulas irredundant with respect to unit clause propagation
Petr Savický
289
0
0
04 Sep 2023
1
Page 1 of 1
