1 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.LO2025★ 1 cited
Faster Certified Symmetry Breaking Using Orders With Auxiliary Variables
Markus Anders, Bart Bogaerts, Benjamin Bogø +8
Symmetry breaking is a crucial technique in modern combinatorial solving, but it is difficult to be sure it is implemented correctly. The most successful approach to deal with bugs…
cs.PL2024★ 1 cited
Encoding Petri Nets into CCS (Technical Report)
Benjamin Bogø, Andrea Burattin, Alceste Scalas
This paper explores the problem of determining which classes of Petri nets can be encoded into behaviourally-equivalent CCS processes. Most of the existing related literature focus…