Projection Heuristics for Binary Branchings Between Sum and Product
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1007/978-3-030-80223-3_21
PubMed Identifier: 36407474
Publication URI: http://europepmc.org/abstract/MED/36407474
Type: Book Chapter
Book Title: Theory and Applications of Satisfiability Testing - SAT 2021 - 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings (2021)
Page Reference: 299-314
ISSN: 2666-9862