Keyword: satisfiability

Found 7 papers in total
An effective variable selection heuristic in SLS for weighted Max-2-SAT
An effective variable selection heuristic in SLS for weighted Max-2-SAT
2015,
Stochastic local search (SLS) is an appealing method for solving the maximum...
Bose–Einstein condensation in satisfiability problems
Bose–Einstein condensation in satisfiability problems
2013,
This paper is concerned with the complex behavior arising in satisfiability problems....
An improved SAT formulation for the social golfer problem
An improved SAT formulation for the social golfer problem
2012,
The Social Golfer Problem (SGP) is a sports scheduling problem that exhibits a lot of...
The inequality-satisfiability problem
The inequality-satisfiability problem
2008,
We define a generalization of the satisfiability problem (SAT) where each...
A two-phase algorithm for solving a class of hard satisfiability problems
A two-phase algorithm for solving a class of hard satisfiability problems
1998,
The DIMACS suite of satisfiability benchmarks contains a set of instances that are...
The partial constraint satisfaction problem: Facets and lifting theorems
The partial constraint satisfaction problem: Facets and lifting theorems
1998,
We study the polyhedral structure of the partial constraint satisfaction problem...
Probabilistic bounds and algorithms for the maximum satisfiability problem
Probabilistic bounds and algorithms for the maximum satisfiability problem
1989,
In this paper the authors present a new method to analyze and solve the maximum...
Papers per page: