Search Sciweavers | Sciweavers

12

JSAT
2008

113views more JSAT 2008»

Combining Adaptive and Dynamic Local Search for Satisfiability

13 years 4 months ago

In this paper we describe a stochastic local search (SLS) procedure for finding models of satisfiable propositional formulae. This new algorithm, gNovelty+ , draws on the features...

Duc Nghia Pham, John Thornton, Charles Gretton, Ab...

claim paper

Read More »

8

click to vote

JSAT
2008

63views more JSAT 2008»

Whose side are you on? Finding solutions in a biased search-tree

13 years 4 months ago

Download jsat.ewi.tudelft.nl

We introduce a new jump strategy for look-ahead based satisfiability (Sat) solvers that aims to boost their performance on satisfiable formulae, while maintaining their behavior o...

Marijn Heule, Hans van Maaren

claim paper

Read More »

15

click to vote

JSAT
2008

122views more JSAT 2008»

SAT Algorithms for Colouring Some Special Classes of Graphs: Some Theoretical and Experimental Results

13 years 4 months ago

Download jsat.ewi.tudelft.nl

The local search algorithm GSAT is based on the notion of Satisfiability. It has been used successfully for colouring graphs, solving instances of the 3SAT problem, planning block...

Sriyankar Acharyya

claim paper

Read More »

10

click to vote

JSAT
2008

99views more JSAT 2008»

A Switching Criterion for Intensification and Diversification in Local Search for SAT

13 years 4 months ago

Download jsat.ewi.tudelft.nl

We propose a new switching criterion, namely the evenness or unevenness of the distribution of variable weights, and use this criterion to combine intensification and diversificat...

Wanxia Wei, Chu Min Li, Harry Zhang

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers