A logical model of HCP

DOI10.1155/S0161171201004598MaRDI QIDQ1599761zbMATH OpenOpenAlexFDO

Authors Anatoly D. Plotnikov

Publication date 2001

Published in International Journal of Mathematics and Mathematical Sciences (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/49480

zbMATH Keywords

Boolean algebraHamiltonian cycle problem

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10)

Recommendations

• A logical modeling system
• Types for Proofs and Programs
• scientific article; zbMATH DE number 5064932
• Models and logical consequence
• scientific article; zbMATH DE number 611095
• Models of linear logic
• Logical structures from a model-theoretical viewpoint
• scientific article; zbMATH DE number 1790350
• A relational model for the logic of deduction
• LOGICALITY AND MODEL CLASSES

Cited in

(1)

• Incremental SAT-based method with native Boolean cardinality handling for the Hamiltonian cycle problem

This page was built for publication: A logical model of HCP

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1599761)