Model Revision of Logical Regulatory Networks Using Logic-Based Tools

von Gouveia, Filipe
Veröffentlicht in International Conference on Logic Programming (34. : 2018 : Oxford) Technical communications of the 34th International Conference on Logic Programming (2018)

Minimal Perturbation in University Timetabling with Maximum Satisfiability

von Lemos, Alexandre
Veröffentlicht in CPAIOR (17. : 2020 : Online) Integration of constraint programming, artificial intelligence, and operations research (2020)

Theory and applications of satisfiability testing - SAT 2019 : 22nd international conference, SAT 2019, Lisbon, Portugal, July 9-12, 2019 : proceedings

Veröffentlicht 2019

ModRev - Model Revision Tool for Boolean Logical Models of Biological Regulatory Networks

von Gouveia, Filipe
Veröffentlicht in CMSB (18. : 2020 : Online) Computational methods in systems biology (2020)

Haplotype inference with pseudo-Boolean optimization

Veröffentlicht in Annals of operations research (2011)

FOREST: An Interactive Multi-tree Synthesizer for Regular Expressions

von Ferreira, Margarida
Veröffentlicht in TACAS (27. : 2021 : Online) Tools and algorithms for the construction and analysis of systems ; Part 1 (2021)