Publication:3429154
From MaRDI portal
zbMath1116.68083MaRDI QIDQ3429154
Publication date: 30 March 2007
68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
Related Items
Reasoning with Uncertain and Inconsistent OWL Ontologies, Boolean lexicographic optimization: algorithms \& applications, Reformulation based MaxSat robustness, Efficient branch-and-bound algorithms for weighted MAX-2-SAT, Cardinality networks: a theoretical and empirical study, Haplotype inference with pseudo-Boolean optimization, The weighted grammar constraint, Haplotyping populations by pure parsimony based on compatible genotypes and greedy heuris\-tics, Solving satisfiability problems with preferences, KBO orientability, Mendelian error detection in complex pedigrees using weighted constraint satisfaction tech\-niques, An MDD-based generalized arc consistency algorithm for positive and negative table constraints and some global constraints, Conflict-driven answer set solving: from theory to practice, Propagation via lazy clause generation, On the hardness of solving edge matching puzzles as SAT or CSP problems, A logical approach to efficient Max-SAT solving, SAT solving for termination proofs with recursive path orders and dependency pairs, A Boolean satisfiability approach to the resource-constrained project scheduling problem, A 0-1 integer linear programming approach to schedule outages of nuclear power plants, Complete Boolean satisfiability solving algorithms based on local search, Applying Visible Strong Equivalence in Answer-Set Program Transformations, Improving the Normalization of Weight Rules in Answer Set Programs, Optimal Base Encodings for Pseudo-Boolean Constraints, BDDs for Pseudo-Boolean Constraints – Revisited, Towards More Effective Unsatisfiability-Based Maximum Satisfiability Algorithms, Towards Robust CNF Encodings of Cardinality Constraints, Cardinality Networks and Their Applications, New Encodings of Pseudo-Boolean Constraints into CNF, Algorithms for Weighted Boolean Optimization
Uses Software
