Schaus, Pierre

1. Compact-Table: Efficiently Filtering Table Constraints with Reversible Sparse Bit-Sets
   2016/01/01 by Jordan Demeulenare, Demeulenaere, Jordan, Renaud Hartert +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. REPETITA: Repeatable Experiments for Performance Evaluation of Traffic-Engineering Algorithms
   2017/10/24 by Gay, Steven, Schaus, Pierre, Vissicchio, Stefano · 1 citation
   #FOS: Computer and information sciences #Networking and Internet Architecture (cs.NI)
3. Improving the filtering of Branch-And-Bound MDD solver (extended)
   2021/04/24 by Xavier Gillard, Gillard, Xavier, Vianney Coppé +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