scientific article; zbMATH DE number 1105634
From MaRDI portal
Publication:4371411
zbMath0881.00041MaRDI QIDQ4371411
No author found.
Publication date: 18 January 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)
Related Items
Probabilistic logic under coherence: complexity and algorithms, Adaptive memory search for Boolean optimization problems, Solving the maximum clique problem with symmetric rank-one non-negative matrix approximation, Generating meta-heuristic optimization code using ADATE, New methods for 3-SAT decision and worst-case analysis, Solving weighted MAX-SAT via global equilibrium search, Satisfiability by Maxwell-Boltzmann and Bose-Einstein Statistical Distributions, Bounds and fast approximation algorithms for binary quadratic optimzation problems with application to MAX 2SAT, An information-based neural approach to generic constraint satisfaction., The number of 2-SAT functions
