Weakening Cardinality Constraints Creates Harder Satisfiability Benchmarks

Search results

• Ivor Spence

  • I.Spencequb.acuk

  • School of Electronics, Electrical Engineering and Computer Science - Reader
  • High Performance and Distributed Computing
  • Knowledge and Data Engineering
  • Institute of Electronics, Communications & Information Technology

  Person: Academic