Pierre Schaus

1. Compact-Table: Efficiently Filtering Table Constraints with Reversible Sparse Bit-Sets
   2016/01/01 by Jordan Demeulenare, Renaud Hartert, Demeulenaere, Jordan +14 · 1 citation
   Computer Science · #Advanced Database Systems and Queries #Algorithms and Data Compression #Artificial Intelligence (cs.AI) #Blind Source Separation Techniques #Constraint Satisfaction and Optimization #Digital Filter Design and Implementation #Error Correcting Code Techniques #FOS: Computer and information sciences
2. Improving the filtering of Branch-And-Bound MDD solver (extended)
   2021/04/24 by Xavier Gillard, Vianney Coppé, Gillard, Xavier +5 · 1 citation
   Computer Science · #Artificial Intelligence (cs.AI) #Constraint Satisfaction and Optimization #FOS: Computer and information sciences #Formal Methods in Verification #Model-Driven Software Engineering Techniques
3. SEER: Supervised Learning to Control Energetic Reasoning
   2026/07/17 by Sascha Van Cauwelaert, Michele Lombardi, Pierre Schaus
   #cs.AI