Search Sciweavers | Sciweavers

16091 search results - page 198 / 3219

» Solving

118

click to vote

AAAI
1997

130views Intelligent Agents» more AAAI 1997»

Using CSP Look-Back Techniques to Solve Real-World SAT Instances

15 years 5 months ago

Download www.bayardo.org

We report on the performance of an enhanced version of the “Davis-Putnam” (DP) proof procedure for propositional satisfiability (SAT) on large instances derived from realworld...

Roberto J. Bayardo Jr., Robert Schrag

claim paper

Read More »

click to vote

IPCO
1998

75views Optimization» more IPCO 1998»

Solving Integer and Disjunctive Programs by Lift and Project

15 years 5 months ago

Download www.unc.edu

Sebastián Ceria, Gábor Pataki

claim paper

Read More »

121

click to vote

MCU
1998

93views Hardware» more MCU 1998»

Using DNA to solve the Bounded Post Correspondence Problem

15 years 5 months ago

Download www.cs.tau.ac.il

Lila Kari, Greg Gloor, Sheng Yu

claim paper

Read More »

157

click to vote

PUK
2000

226views Computer Science» more PUK 2000»

Heuristic Methods for Solving Job-Shop Scheduling Problems

15 years 5 months ago

Download www-is.informatik.uni-oldenburg.de

Antonio Garrido Tejero, Miguel A. Salido, Federico...

claim paper

Read More »

116

click to vote

USENIX
2000

91views Operating System» more USENIX 2000»

MOSIX: How Linux Clusters Solve Real-World Problems

15 years 5 months ago

Download www.mosix.org

As the complexity of software increases, the size of the software tends to increase as well, which incurs longer compilation and build cycles. In this paper, the authors present o...

Steve McClure, Richard Wheeler

claim paper

Read More »

« Prev « First page 198 / 3219 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Sciweavers