scientific article
From MaRDI portal
Publication:3429161
zbMath1116.68090MaRDI QIDQ3429161
Hossein M. Sheini, Karem A. Sakallah
Publication date: 30 March 2007
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Learning and adaptive systems in artificial intelligence (68T05) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)
Related Items
A logical approach to efficient Max-SAT solving, Solving satisfiability problems with preferences, Unnamed Item, Mendelian error detection in complex pedigrees using weighted constraint satisfaction tech\-niques, Solving hybrid Boolean constraints in continuous space via multilinear Fourier expansions, Reasoning with Uncertain and Inconsistent OWL Ontologies, On the Implementation of Weight Constraint Rules in Conflict-Driven ASP Solvers, Haplotype inference with pseudo-Boolean optimization, Pueblo, New Encodings of Pseudo-Boolean Constraints into CNF, Algorithms for Weighted Boolean Optimization, Learn to relax: integrating \(0-1\) integer linear programming with pseudo-Boolean conflict-driven search, Iterative and core-guided maxsat solving: a survey and assessment, On dedicated CDCL strategies for PB solvers
Uses Software
