Vincent Heinink

Suggest Changes
  • Citations Per Year
Learn More
In this paper we present results of some performance experiments on the 2-SoftSAT problem. 2-SoftSAT is a mixture of 2-SAT and 2-MaxSAT. An interesting aspect of this domain is that the complexity of(More)
  • 1