Sciweavers

101 search results - page 1 / 21

» sat 2009

12

SAT
2009
Springer

90views Hardware» more SAT 2009»

Solving (Weighted) Partial MaxSAT through Satisfiability Testing

13 years 11 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 »

13

SAT
2009
Springer

118views Hardware» more SAT 2009»

Improving Variable Selection Process in Stochastic Local Search for Propositional Satisfiability

13 years 11 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 »

13

SAT
2009
Springer

87views Hardware» more SAT 2009»

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

13 years 11 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 »

11

SAT
2009
Springer

94views Hardware» more SAT 2009»

Nonlinear Pseudo-Boolean Optimization: Relaxation or Propagation?

13 years 11 months ago

Nonlinear Pseudo-Boolean Optimization: Relaxation or Propagation?

Download opus.kobv.de

Timo Berthold, Stefan Heinz, Marc E. Pfetsch

claim paper

Read More »

9

SAT
2009
Springer

97views Hardware» more SAT 2009»

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

13 years 11 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 »