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)

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

This page was built for software: Transalg