Publications (3)0 Total impact
IJPRAI. 01/2008; 22:1031-1043.
Conference Proceeding: SATyrus: A SAT-based Neuro-Symbolic Architecture for Constraint Processing.5th International Conference on Hybrid Intelligent Systems (HIS 2005), 6.9 November 2005, Rio de Janeiro, Brazil; 01/2005
Conference Proceeding: Mapping and Combining Combinatorial Problems into Energy Landscapes via Pseudo-Boolean Constraints.Brain, Vision, and Artificial Intelligence, First International Symposium, BVAI 2005, Naples, Italy, October 19-21, 2005, Proceedings; 01/2005