On unit read-once resolutions and copy complexity

DOI10.1007/978-3-030-64843-5_19OpenAlexW3111691437MaRDI QIDQ2692219

Yanyan Li

Publication date: 21 March 2023

Full work available at URL: https://doi.org/10.1007/978-3-030-64843-5_19

Mathematics Subject Classification ID

Combinatorial optimization (90C27) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (2)

Analyzing read-once cutting plane proofs in Horn systems ⋮ Copy complexity of Horn formulas with respect to unit read-once resolution

This page was built for publication: On unit read-once resolutions and copy complexity