Search results

Articles (5)

Journals (0)

1-5 of 5 results for Weighted Max-SAT

Sort by:

Relevance

Select all

Sort by:

Relevance

Open access

Research article

First published 2008-5

Solving Weighted Max-SAT Problems in a Reduced Search Space: A Performance Analysis 1

Knot Pipatsrisawat, Akop Palyan, Mark Chavira [...]

Journal on Satisfiability,Boolean Modelling and Computation

Open access

Research article

First published 2008-5

Josep Argelich, Chu-Min Li, Felip Manyà [...]

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 2012-11

Marco Maratea

The European Journal on Artificial Intelligence

Open access

Research article

First published 2014-6

Mikoláš Janota

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 2020-10

Maxime C. Cohen, Swati Gupta, Jeremy J. Kalas [...]

Production and Operations Management