Constraint Modelling: A Challenge for First Order Automated Reasoning

Citation

Baumgartner, P & Slaney, J 2009, 'Constraint Modelling: A Challenge for First Order Automated Reasoning', International Workshop on First-Order Theorem Proving (FTP 2009), ed. Nicolas Peltier, Viorica Sofronie-Stokkermans, CEUR-WS.ORG, Oslo, Norway, pp. 4-18.

Year

2009

ANU Authors

Fields of Research

  • Mathematical Logic, Set Theory, Lattices And Universal Algebra
  • Computational Logic And Formal Languages

Updated:  26 April 2024 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers