scientific article; zbMATH DE number 1844518
From MaRDI portal
Recommendations
- Artificial Intelligence and Soft Computing - ICAISC 2004
- scientific article; zbMATH DE number 2090049
- scientific article; zbMATH DE number 1875387
- VEGAS -- a new genetic algorithm for satisfiability
- An evolutionary algorithm for theorem proving in propositional logic
- A genetic algorithm for chance constrained programming
Cited in
(8)- Automated non-monotonic reasoning in System \textbf{P}
- Logics with Probability Operators
- Inductive Logic Programming
- Using a hybrid genetic-algorithm/branch and bound approach to solve feasibility and optimization integer programming problems
- Stochastic Boolean satisfiability
- Stochastic Boolean satisfiability
- Artificial Intelligence and Soft Computing - ICAISC 2004
- VEGAS -- a new genetic algorithm for satisfiability
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4784887)