Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Adaptive Clause Weight Redistribution Abdelraouf Ishtaiwi1,2
 

Summary: Adaptive Clause Weight Redistribution
Abdelraouf Ishtaiwi1,2
, John Thornton1,2
, Anbulagan3
, Abdul Sattar1,2
, and
Duc Nghia Pham1,2
1
IIIS, Griffith University, QLD, Australia
2
DisPRR, National ICT Australia Ltd, QLD, Australia
3
Logic and Computation Program, National ICT Australia Ltd, Canberra, Australia
{a.ishtaiwi,j.thornton,anbulagan,abdul.sattar,duc-nghia.pham}@nicta.com.au
Abstract. In recent years, dynamic local search (DLS) clause weighting
algorithms have emerged as the local search state-of-the-art for solving
propositional satisfiability problems. However, most DLS algorithms re-
quire the tuning of domain dependent parameters before their perfor-
mance becomes competitive. If manual parameter tuning is impractical
then various mechanisms have been developed that can automatically

  

Source: Anbulagan, A. - National ICT Australia & Computer Sciences Laboratory, Australian National University
Thornton, John - School of Information and Communication Technology, Griffith University

 

Collections: Computer Technologies and Information Sciences