Marek, Victor W.

2 publications

IJCAI 2017 Solving Very Hard Problems: Cube-and-Conquer, a Hybrid SAT Solving Method Marijn J. H. Heule, Oliver Kullmann, Victor W. Marek

AAAI 2004 Logic Programs with Abstract Constraint Atoms Victor W. Marek, Miroslaw Truszczynski