Switch to: References

Add citations

You must login to add citations.
  1. Backtracking algorithms for disjunctions of temporal constraints.Kostas Stergiou & Manolis Koubarakis - 2000 - Artificial Intelligence 120 (1):81-117.
  • Implicates and prime implicates in Random 3-SAT.Robert Schrag & James M. Crawford - 1996 - Artificial Intelligence 81 (1-2):199-222.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation