Transalg

MaRDI QIDQ29209swMATHFDO

Official website https://arxiv.org/abs/1405.1544

Described by source

• Technology for translating combinatorial problems into Boolean equations

Cited in

(8)

• Merging variables: one technique of search in pseudo-Boolean optimization
• On some variants of the merging variables based \((1+1)\)-evolutionary algorithm with application to MaxSAT problem
• On black-box optimization in divide-and-conquer SAT solving
• URSA
• MapleAmpharos
• mkplot
• On a class of decision diagrams
• scientific article; zbMATH DE number 7199588 (Why is no real title available?)

This page was built for software: Transalg