Vol-2853⫷ Vol-2854 ⫸Vol-2855
urn:nbn:de:0074-2854-0


Vol-2854/abstract2⫷Vol-2854/short1⫸Vol-2854/paper1
Sophie TourretPascal FontaineHaniel BarbosaDaniel El Ouraoui

Lifting Congruence Closure with Free Variables to λ-free Higher-order Logic via SAT Encoding