FABE: Finite state Automata Bucket Elimination

This repository contains the implementation of the algorithm presented by Filippo Bistaffa in “Faster Exact MPE and Constrained Optimization with Deterministic Finite State Automata” at the 2023 International Joint Conference of Artificial Intelligence, DOI: 10.24963/ijcai.2023/209.

Name		Name	Last commit message	Last commit date
Latest commit History 283 Commits
datasets		datasets
libfa		libfa
pdf		pdf
.gitignore		.gitignore
.gitmodules		.gitmodules
CMakeLists.txt		CMakeLists.txt
FindGperftools.cmake		FindGperftools.cmake
LICENSE		LICENSE
README.md		README.md
be.cpp		be.cpp
be.hpp		be.hpp
build		build
conversion.cpp		conversion.cpp
conversion.hpp		conversion.hpp
create_problematic		create_problematic
io.cpp		io.cpp
io.hpp		io.hpp
log.hpp		log.hpp
main.cpp		main.cpp
main.hpp		main.hpp
order.cpp		order.cpp
order.hpp		order.hpp
profile		profile
qcachegrind		qcachegrind
random_order		random_order
slurm_submit		slurm_submit
test_all		test_all
types.hpp		types.hpp
util.hpp		util.hpp

Provide feedback