Pedro T. Monteiro

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 5

Top Topics

Monotone Boolean Functions

Membership Queries

Software Package

University Course Timetabling

Top Venues

J. Artif. Intell. Res.

Publications

Alexandre Lemos, Filipe Gouveia, Pedro T. Monteiro, Inês Lynce
Iterative Train Scheduling under Disruption with Maximum Satisfiability. J. Artif. Intell. Res. 79 (2024)
José E. R. Cury, Patrícia Tenera Roxo, Vasco Manquinho, Claudine Chaouiya, Pedro T. Monteiro
Immediate Neighbours of Monotone Boolean Functions. CoRR (2024)
Claudine Chaouiya, Pedro T. Monteiro, Elisabeth Remy
Logical Modelling, Some Recent Methodological Advances Illustrated. AUTOMATA (2024)
Alexandre Lemos, Pedro T. Monteiro, Inês Lynce
Introducing UniCorT: an iterative university course timetabling tool with MaxSAT. J. Sched. 25 (4) (2022)
Pedro L. Varela, Camila V. Ramos, Pedro T. Monteiro, Claudine Chaouiya
EpiLog: A software for the logical modelling of epithelial dynamics. F1000Research 7 (2018)