scientific article
From MaRDI portal
Publication:3044338
zbMath1059.68617MaRDI QIDQ3044338
Publication date: 11 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2286/22860341.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Analysis of algorithms and problem complexity (68Q25) Combinatorial optimization (90C27) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)
Related Items (3)
A logical approach to efficient Max-SAT solving ⋮ A new upper bound for \(( n , 3)\)-MAX-SAT ⋮ A new algorithm for optimal 2-constraint satisfaction and its implications
This page was built for publication:
