CARLOS J.
ANSOTEGUI GIL
CU
Universitat de Girona
Girona, EspañaPublicaciones en colaboración con investigadores/as de Universitat de Girona (7)
2019
-
Automatic Detection of At-Most-One and Exactly-One Relations for Improved SAT Encodings of Pseudo-Boolean Constraints
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2016
-
Automated theorem provers for multiple-valued logics with satisfiability modulo theory solvers
Fuzzy Sets and Systems, Vol. 292, pp. 32-48
2014
-
SAT and SMT technology for many-valued logics
Journal of Multiple-Valued Logic and Soft Computing, Vol. 24, Núm. 1-4, pp. 151-172
2013
-
Solving weighted CSPs with meta-constraints by reformulation into satisfiability modulo theories
Constraints, Vol. 18, Núm. 2, pp. 236-268
2012
-
Building automated theorem provers for infinitely-valued logics with satisfiability modulo theory solvers
Proceedings of The International Symposium on Multiple-Valued Logic
2011
-
Extending multiple-valued clausal forms with linear integer arithmetic
Proceedings - 41st IEEE International Symposium on Multiple-Valued Logic, ISMVL 2011
-
Satisfiability modulo theories: An efficient approach for the resource-constrained project scheduling problem
SARA 2011 - Proceedings of the 9th Symposium on Abstraction, Reformulation, and Approximation