On unit read-once resolutions and copy complexity

DOI10.1007/978-3-030-64843-5_19MaRDI QIDQ2692219zbMATH OpenOpenAlexFDO

Authors 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

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

Cited in

(3)

• Copy complexity of Horn formulas with respect to unit read-once resolution
• Analyzing read-once cutting plane proofs in Horn systems
• scientific article; zbMATH DE number 5613975 (Why is no real title available?)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2692219)