Mr Robert Crowston
Supervised by
Gregory Gutin (Lead supervisor)
Department of Computer Science
1/10/09 → 21/05/13
Anders Yeo
Department of Computer Science
1/10/09 → 21/05/13
- Published
A New Lower Bound on the Maximum Number of Satisfied clauses in Max-SAT and its algorithmic applications.
Research output: Contribution to journal › Article
- Forthcoming
Fixed-parameter tractability of satisfying beyond the number of variables
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
- Published
Parameterized Complexity of MaxSat Above Average
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
ID: 11355