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