scientific article; zbMATH DE number 2084703
From MaRDI portal
Publication:4475628
zbMath1067.68683MaRDI QIDQ4475628
Publication date: 9 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2239/22390153.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (11)
The complete parsimony haplotype inference problem and algorithms based on integer programming, branch-and-bound and Boolean satisfiability ⋮ Probabilistic logic with independence ⋮ HC\_AB: a new heuristic clustering algorithm based on approximate backbone ⋮ Manipulation can be hard in tractable voting systems even for constant-sized coalitions ⋮ Empirical Study of Phase Transition of Hamiltonian Cycle Problem in Random Graphs with Degrees Greater Than One ⋮ Phase Transition for Maximum Not-All-Equal Satisfiability ⋮ MaxSolver: An efficient exact algorithm for (weighted) maximum satisfiability ⋮ On the performance of MaxSAT and MinSAT solvers on 2SAT-MaxOnes ⋮ SAT distributions with planted assignments and phase transitions between decision and optimization problems ⋮ SAT Distributions with Phase Transitions between Decision and Optimization Problems ⋮ Configuration landscape analysis and backbone guided local search. I: Satisfiability and maximum satisfiability
This page was built for publication: