Search Sciweavers | Sciweavers

193 search results - page 12 / 39

» sat 2007

click to vote

ENGL
2007

56views more ENGL 2007»

Model Counting for 2SAT Based on Graphs by Matrix Operators

14 years 9 months ago

Download www.engineeringletters.com

C. Guillen, A. Lopez, G. De Ita

claim paper

Read More »

click to vote

AUSAI
2007
Springer

144views Artificial Intelligence» more AUSAI 2007»

Advances in Local Search for Satisfiability

15 years 1 months ago

Download www.cs.ubc.ca

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

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

claim paper

Read More »

click to vote

SAT
2007
Springer

181views Hardware» more SAT 2007»

Breaking Symmetries in SAT Matrix Models

15 years 3 months ago

Download sat.inesc-id.pt

Abstract. Symmetry occurs naturally in many computational problems. The use of symmetry breaking techniques for solving search problems reduces the search space and therefore is ex...

Inês Lynce, João P. Marques Silva

claim paper

Read More »

click to vote

DATE
2007
IEEE

110views Hardware» more DATE 2007»

Accurate timing analysis using SAT and pattern-dependent delay models

15 years 3 months ago

Download www.date-conference.com

Desta Tadesse, D. Sheffield, E. Lenge, R. Iris Bah...

claim paper

Read More »