Transalg

swMATH17349MaRDI QIDQ29209FDOQ29209

Author name not available (Why is that?)

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
• On a class of decision diagrams
• URSA
• MapleAmpharos
• mkplot
• Title not available (Why is that?)

This page was built for software: Transalg