RT @StefanSzeider: Two teams compete. Team A uses modern SAT solvers on a 20-year-old computer. Team B uses 20-year-old SAT solvers on a…
273 followers
103 followers
@bentnib @wenkokke - NeuroDiff by Paulsen et al. use Intervals: https://t.co/WpGJLB5iHY - Kleine Büning et al. use MILP: https://t.co/PGwKW2GNjq - Finally I participated in a project which explored GPE: https://t.co/qWlFB7t24w Seeing how Marabou compares t
4,468 followers
RT @breandan: TIL message passing algorithms also arise in combinatorial optimization and linear programming via constraint propagation. Th…
1,755 followers
TIL message passing algorithms also arise in combinatorial optimization and linear programming via constraint propagation. Thanks to @BehrouzBabaki for opening my eyes to this fascinating area of research! https://t.co/40mNTBCHTX https://t.co/Lbdn7ytaqL