scientific article; zbMATH DE number 2019591
From MaRDI portal
Publication:4440381
Recommendations
- Pac-learning non-recursive Prolog clauses
- scientific article; zbMATH DE number 2089448
- Partition search for non-binary constraint satisfaction
- scientific article; zbMATH DE number 1149414
- scientific article; zbMATH DE number 6874631
- scientific article; zbMATH DE number 1692890
- scientific article; zbMATH DE number 5957469
- Speeding-Up Non-clausal Local Search for Propositional Satisfiability with Clause Learning
Cited in
(3)
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 Q4440381)