scientific article; zbMATH DE number 6528599

MaRDI QIDQ3459920zbMATH OpenFDO

Authors Filip Železný

Publication date 11 January 2016

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• scientific article; zbMATH DE number 1222558
• Satisfiability checking and symbolic computation
• Satisfiability checking: theory and applications
• Satisfiability modulo theories
• scientific article; zbMATH DE number 4039349
• Koepke machines and satisfiability for infinitary propositional languages
• SATRIX -- algorithms for Boolean satisfiability

Cited in

(3)

• SELF-SPECIFYING MACHINES
• Satisfiability of formulas from the standpoint of object classification: The RST approach
• Absolute versus probabilistic classification in a logical setting

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 Q3459920)