Sciweavers

17129 search results - page 85 / 3426

» Applied Computing

92

SAC
2009
ACM

82views Applied Computing» more SAC 2009»

Message-passing and local heuristics as decimation strategies for satisfiability

16 years 29 days ago

Message-passing and local heuristics as decimation strategies for satisfiability

Download www.cs.cornell.edu

Lukas Kroc, Ashish Sabharwal, Bart Selman

claim paper

Read More »

141

SAC
2009
ACM

85views Applied Computing» more SAC 2009»

Situated tuple centres in ReSpecT

16 years 29 days ago

Situated tuple centres in ReSpecT

Download apice.unibo.it

Matteo Casadei, Andrea Omicini

claim paper

Read More »

110

SAC
2009
ACM

95views Applied Computing» more SAC 2009»

Local reasoning for abstraction and sharing

16 years 29 days ago

Local reasoning for abstraction and sharing

Download www.cs.famaf.unc.edu.ar

Renato Cherini, Javier O. Blanco

claim paper

Read More »

103

SAC
2009
ACM

78views Applied Computing» more SAC 2009»

Reasoning about comprehensions with first-order SMT solvers

16 years 29 days ago

Reasoning about comprehensions with first-order SMT solvers

Download www.cs.nuim.ie

K. Rustan M. Leino, Rosemary Monahan

claim paper

Read More »

151

SAC
2009
ACM

89views Applied Computing» more SAC 2009»

Constructing process views for service outsourcing

16 years 29 days ago

Constructing process views for service outsourcing

Download www.cs.helsinki.fi

Rik Eshuis, Alex Norta

claim paper

Read More »

« Prev « First page 85 / 3426 Last » Next »