Changes related to "Maximum satisfiability problem"
This is a list of recent changes to pages linked from a specified page (or to members of a specified category). Changes to pages on your watchlist are shown with a green bullet.
19 January 2017
- (diff | hist) . . 2-satisfiability; 04:27 . . (-27) . . David Eppstein (→Problem representations: doi not broken — works for me, through official doi.org resolver)
16 January 2017
- (diff | hist) . . Boolean satisfiability problem; 06:59 . . (+2) . . Arlolra (Tag: Visual edit)