Ana Paula Tomás

Proceedings of the LATIN 2022: Theoretical Informatics, 2022

2018

House Allocation Problems with Existing Tenants and Priorities for Teacher Recruitment.

[BibT_eX]

[DOI]

Proceedings of the SOFSEM 2018: Theory and Practice of Computer Science - 44th International Conference on Current Trends in Theory and Practice of Computer Science, Krems, Austria, January 29, 2018

2015

On the Enumeration of Permutominoes.

[BibT_eX]

[DOI]

Proceedings of the Fundamentals of Computation Theory - 20th International Symposium, 2015

2013

Guarding Thin Orthogonal Polygons Is Hard.

[BibT_eX]

[DOI]

Proceedings of the Fundamentals of Computation Theory - 19th International Symposium, 2013

Automatic Generation and Delivery of Multiple-Choice Math Quizzes.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2013

2007

A Web Application for Mathematics Education.

[BibT_eX]

[DOI]

Marcos Aurélio Domingues

Proceedings of the Advances in Web Based Learning, 2007

2006

On Visibility Problems in the Plane -- Solving Minimum Vertex Guard Problems by Successive Approximations.

[BibT_eX]

[DOI]

Fábio Marques

Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2006

Designing a Solver for Arithmetic Constraints to Support Education in Mathematics.

[BibT_eX]

[DOI]

Nelma Moreira

Nuno Pereira

Proceedings of the Artificial Intelligence Applications and Innovations, 2006

2005

Mechanically Proving Termination Using Polynomial Interpretations.

[BibT_eX]

[DOI]

J. Autom. Reason., 2005

2004

Quadratic-Time Linear-Space Algorithms for Generating Orthogonal Polygons with a Given Number of Vertices.

[BibT_eX]

[DOI]

Proceedings of the Computational Science and Its Applications, 2004

Partitioning Orthogonal Polygons by Extension of All Edges Incident to Reflex Vertices: Lower and Upper Bounds on the Number of Pieces.

[BibT_eX]

[DOI]

Fábio Marques

Proceedings of the Computational Science and Its Applications, 2004

2003

A CLP-Based Tool for Computer Aided Generation and Solving of Maths Exercises.

[BibT_eX]

[DOI]

Proceedings of the Practical Aspects of Declarative Languages, 5th International Symposium, 2003

Approximation Algorithms to Minimum Vertex Cover Problems on Polygons and Terrains.

[BibT_eX]

[DOI]

Fábio Marques

Proceedings of the Computational Science - ICCS 2003, 2003

Generating Random Orthogonal Polygons.

[BibT_eX]

[DOI]

Proceedings of the Current Topics in Artificial Intelligence, 2003

2002

Solving Optimal Location of Traffic Counting Points at Urban Intersections in CLP(FD).

[BibT_eX]

[DOI]

Proceedings of the MICAI 2002: Advances in Artificial Intelligence, 2002

Using Constraint Logic Programming to Generate Drills in Mathematics.

[BibT_eX]

[DOI]

Pedro Vasconcelos

Proceedings of the AGP 2002: Proceedings of the Joint Conference on Declarative Programming, 2002

Solving Optimal Location of Traffic Count Posts in CLP(FD).

[BibT_eX]

[DOI]

Proceedings of the AGP 2002: Proceedings of the Joint Conference on Declarative Programming, 2002

1997

Solving Linear Diophantine Equations Using the Geometric Structure of the Solution Space.

[BibT_eX]

[DOI]

Proceedings of the Rewriting Techniques and Applications, 8th International Conference, 1997

An Algorithm for Solving Systems of Linear Diophantine Equations in Naturals.

[BibT_eX]

[DOI]

Proceedings of the Progress in Artificial Intelligence, 1997

1995

A Fast Method for Finding the Basis of Nonnegative Solutions to a Linear Diophantine Equation.

[BibT_eX]

[DOI]

J. Symb. Comput., 1995

From Elliott-MacMahon to an Algorithm for General Linear Constraints on Naturals.

[BibT_eX]

[DOI]

Eric Domenjoud

Proceedings of the Principles and Practice of Constraint Programming, 1995

1993

Fast Methods for Solving Linear Diophantine Equations.

[BibT_eX]

[DOI]

Proceedings of the Progress in Artificial Intelligence, 1993

1991

A New Method for Solving Linear Constraints on the Natural Numbers.

[BibT_eX]

[DOI]

Proceedings of the EPIA 91, 1991

Solving Linear Constraints on Finite Domains Through Parsing.

[BibT_eX]

[DOI]

Proceedings of the EPIA 91, 1991

1990

Natural Language and Natural Menus Interfaces.

[BibT_eX]

Proceedings of the Modelling the Innovation: Communications, 1990

General Introduction.

[BibT_eX]

[DOI]

Nelma Moreira

Proceedings of the Natural Language Processing, 1990

1989

Some Comments on a Logic Programming Approach to Natural Language Semantics.

[BibT_eX]

[DOI]