Browsing by Subject MAXIMUM SATISFIABILITY
Showing results 1 to 1 of 1
Issue Date | Title | Author(s) |
---|---|---|
2013 | A genetic algorithm with expansion and exploration operators for the maximum satisfiability problem | Gorbenko, A.; Popov, V. |