Cube-Based Isomorph-Free Finite Model Finding - NOVA Math

Skip to content

CENTER
RESEARCH
OPPORTUNITIES
EVENTS
TRAINING
- PhD Programme
- Advanced Courses
SOCIETY
- Knowledge Transfer
- Outreach
MEDIA
- News
- In Press
CONTACTS
LOGIN

CENTER
RESEARCH
OPPORTUNITIES
EVENTS
TRAINING
- PhD Programme
- Advanced Courses
SOCIETY
- Knowledge Transfer
- Outreach
MEDIA
- News
- In Press
CONTACTS
LOGIN

Cube-Based Isomorph-Free Finite Model Finding

NOVA Math > NOVA Math > NOVA Math Publications > Cube-Based Isomorph-Free Finite Model Finding

NOVA Math Publications

Algebra and Logic

Book Chapter
Chow,C;Janota,M;Araújo,J
Frontiers in Artificial Intelligence and Applications – ECAI 2024

2024

10.3233/faia240980

Tags : Algebra and Logic

Post navigation

Strategies for Worker Training and Information in Occupational Safety and Health (OSH); [Estratégias para a formação e informação aos trabalhadores no âmbito da segurança e saúde no trabalho]

Timed Measurement Theory

Departamento de Matemática
Faculdade de Ciências e Tecnologia
Universidade Nova de Lisboa
Campus de Caparica
2829-516 Caparica
PORTUGAL

Contacts

(+351) 212 948 388
novamath.secretariado@fct.unl.pt
Monday-Friday 9:00 - 17:00

Links

Cookies Policy
Privacy Policy

Search for:

© Copyright 2023 - All Rights Reserved

We use cookies to ensure that we give you the best experience on our website. If you continue to use this site we will assume that you are happy with it.Ok Privacy policy