Sciweavers

385 search results - page 5 / 77

» constraints 1999

104

CAV
1999
Springer

85views Hardware» more CAV 1999»

Optimizing Symbolic Model Checking for Constraint-Rich Models

15 years 8 months ago

Optimizing Symbolic Model Checking for Constraint-Rich Models

Download www.cs.cmu.edu

Bwolen Yang, Reid G. Simmons, Randal E. Bryant, Da...

claim paper

Read More »

128

ALGORITHMICA
1999

65views more ALGORITHMICA 1999»

Solving Systems of Difference Constraints Incrementally

15 years 4 months ago

Solving Systems of Difference Constraints Incrementally

Download nclab.kaist.ac.kr

G. Ramalingam, Junehwa Song, Leo Joskowicz, Raymon...

claim paper

Read More »

72

COMBINATORICS
1999

57views more COMBINATORICS 1999»

Zero Capacity Region of Multidimensional Run Length Constraints

15 years 4 months ago

Zero Capacity Region of Multidimensional Run Length Constraints

Download code.ucsd.edu

Hisashi Ito, Akiko Kato, Zsigmond Nagy, Kenneth Ze...

claim paper

Read More »

130

CONSTRAINTS
1999

105views more CONSTRAINTS 1999»

Algorithmic Power from Declarative Use of Redundant Constraints

15 years 4 months ago

Algorithmic Power from Declarative Use of Redundant Constraints

Download webhome.cs.uvic.ca

Interval constraints can be used to solve problems in numerical analysis. In this paper we show that one can improve the performance of such an interval constraint program by the ...

Maarten H. van Emden

claim paper

Read More »

189

ICDE
1999
IEEE

116views Database» more ICDE 1999»

Constraint-Based Rule Mining in Large, Dense Databases

16 years 5 months ago

Constraint-Based Rule Mining in Large, Dense Databases

Download rakesh.agrawal-family.com

Roberto J. Bayardo Jr., Rakesh Agrawal, Dimitrios ...

claim paper

Read More »

« Prev « First page 5 / 77 Last » Next »