Sciweavers

101 search results - page 1 / 21

» sat 2009

23

SAT
2009
Springer

90views Hardware» more SAT 2009»

Solving (Weighted) Partial MaxSAT through Satisfiability Testing

14 years 4 months ago

Solving (Weighted) Partial MaxSAT through Satisfiability Testing

Download www.iiia.csic.es

Carlos Ansótegui, Maria Luisa Bonet, Jordi ...

claim paper

Read More »

22

SAT
2009
Springer

118views Hardware» more SAT 2009»

Improving Variable Selection Process in Stochastic Local Search for Propositional Satisfiability

14 years 4 months ago

Improving Variable Selection Process in Stochastic Local Search for Propositional Satisfiability

Download www.cse.yorku.ca

Anton Belov, Zbigniew Stachniak

claim paper

Read More »

29

SAT
2009
Springer

87views Hardware» more SAT 2009»

A Novel Approach to Combine a SLS- and a DPLL-Solver for the Satisfiability Problem

14 years 4 months ago

A Novel Approach to Combine a SLS- and a DPLL-Solver for the Satisfiability Problem

Download www.cs.swan.ac.uk

Adrian Balint, Michael Henn, Oliver Gableske

claim paper

Read More »

24

SAT
2009
Springer

94views Hardware» more SAT 2009»

Nonlinear Pseudo-Boolean Optimization: Relaxation or Propagation?

14 years 4 months ago

Nonlinear Pseudo-Boolean Optimization: Relaxation or Propagation?

Download opus.kobv.de

Timo Berthold, Stefan Heinz, Marc E. Pfetsch

claim paper

Read More »

22

SAT
2009
Springer

97views Hardware» more SAT 2009»

Branch and Bound for Boolean Optimization and the Generation of Optimality Certificates

14 years 4 months ago

Branch and Bound for Boolean Optimization and the Generation of Optimality Certificates

Download www.lsi.upc.es

Javier Larrosa, Robert Nieuwenhuis, Albert Olivera...

claim paper

Read More »

« Prev « First page 1 / 21 Last » Next »