Login / Signup

Boolean Constraints for Binding-Time Analysis.

Kevin GlynnPeter J. StuckeyMartin SulzmannHarald Søndergaard
Published in: PADO (2001)
Keyphrases
  • search algorithm
  • relational databases
  • search space
  • upper bound
  • rough sets