Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Symmetry Breaking in Local Search for Unsatisfiability Dept of Computer Engineering,
 

Summary: Symmetry Breaking in Local Search for Unsatisfiability
Fadi Aloul
Dept of Computer Engineering,
American University of Sharjah,
UAE
faloul@aus.edu
In^es Lynce
IST/INESC-ID,
Technical University
of Lisbon, Portugal
ines@sat.inesc-id.pt
Steven Prestwich
Cork Constraint Computation
Centre, Dept of Computer Science,
University College, Cork, Ireland
s.prestwich@cs.ucc.ie
Abstract
Symmetry breaking can greatly speed up the search
for solutions and proofs of unsatisfiability, but has
been shown to have a bad effect on local search

  

Source: Aloul, Fadi - Department of Computer Engineering, American University of Sharjah

 

Collections: Engineering