Go to:
Logótipo
Você está em: Start > Publications > Emparelhamentos, Casamentos Estáveis e Algoritmos de Colocação de Professores. > View related publications
Instalation Map
Principal
Publication

Publications with the same authors as the Emparelhamentos, Casamentos Estáveis e Algoritmos de Colocação de Professores. publication

Group by: Order:

Technical Report

On House-Allocation Problems with Existing Tenants and Priorities
Ana Paula Tomás (Author) (FCUP)
On Covering Path Orthogonal Polygons (preliminary version)
Ana Paula Tomás (Author) (FCUP); Catarina Lobo Ferreira (Author) (FCUP)
On Breaking Symmetry in Diophantine Systems for AC-unification of Higher-Order Patterns
Ana Paula Tomás (Author) (FCUP); Evelyne Contejean (Author) (Other)
Network Flow Problems and Optimal Location of Traffic Count-Posts at Urban Intersections
Ana Paula Tomás (Author) (FCUP); Marta Andrade (Author) (Other); Américo Costa (Author) (FEUP)
Mechanically proving termination using polynomial interpretations.
Evelyne Contejean (Author) (Other); Claude Marché (Author) (Other); Ana Paula Tomás (Author) (FCUP); Xavier Urbain (Author) (Other)
Designing a symbolic solver for arithmetic constraints to support education in mathematics
Ana Paula Tomás (Author) (FCUP); Nelma Moreira (Author) (FCUP); Nuno Filipe Pereira (Author) (FCUP)
Análise de Alguns Problemas Geométricos em Polígonos Ortogonais
Ana Paula Tomás (Author) (FCUP)

Another Publication in an International Scientific Journal

Preface
Filgueiras, M (Author) (Other); Damas, L (Author) (Other); Nelma Moreira (Author) (FCUP); Ana Paula Tomás (Author) (FCUP)
1991
Indexing

Article in International Scientific Journal

SOLVING LINEAR CONSTRAINTS ON FINITE DOMAINS THROUGH PARSING
FILGUEIRAS, M (Author) (FCUP); TOMAS, AP (Author) (FCUP)
Mechanically proving termination using polynomial interpretations
Evelyne Contejean (Author) (Other); Claude Marche (Author) (Other); Ana Paula Tomas (Author) (FCUP); Xavier Urbain (Author) (Other)
Generating random orthogonal polygons
Tomas, AP (Author) (FCUP); Bajuelos, AL (Author) (Other)
Approximation algorithms to minimum vertex cover problems on polygons and terrains
Tomas, AP (Author) (FCUP); Bajuelos, AL (Author) (Other); Marques, F (Author) (Other)
A NEW METHOD FOR SOLVING LINEAR CONSTRAINTS ON THE NATURAL-NUMBERS
TOMAS, AP (Author) (FCUP); FILGUEIRAS, M (Author) (FCUP)
A CLP-based tool for computer aided generation and solving of maths exercises
Tomas, AP (Author) (FCUP); Leal, JP (Author) (FCUP)

Article in International Conference Proceedings Book

Weak Stable Matchings with Tenants and Ties
Ana Paula Tomás (Author) (FCUP)
Using Constraint Logic Programming to Generate Drills in Mathematics
Ana Paula Tomás (Author) (FCUP); José Paulo Leal (Author) (FCUP); Pedro Vasconcelos (Author) (FCUP)
Some comments on a logic programming approach to natural language semantics
Ana Paula Tomás (Author) (FCUP); Filgueiras, M (Author) (Other)
1989
Indexing

Records 1 to 20 from 50

 
1
  2 3
Primeiro Resultado
Resultado Anterior
Resultado AnteriorResultado ActualResultado Seguinte
Last result
 

Recommend this page Top
Copyright 1996-2025 © Faculdade de Medicina Dentária da Universidade do Porto  I Terms and Conditions  I Acessibility  I Index A-Z  I Guest Book
Page created on: 2025-06-30 at 20:38:52 | Acceptable Use Policy | Data Protection Policy | Complaint Portal