Alert button
Picture for Ilias Kotsireas

Ilias Kotsireas

Alert button

A SAT-based Resolution of Lam's Problem

Add code
Bookmark button
Alert button
Dec 08, 2020
Curtis Bright, Kevin K. H. Cheung, Brett Stevens, Ilias Kotsireas, Vijay Ganesh

Figure 1 for A SAT-based Resolution of Lam's Problem
Figure 2 for A SAT-based Resolution of Lam's Problem
Figure 3 for A SAT-based Resolution of Lam's Problem
Figure 4 for A SAT-based Resolution of Lam's Problem
Viaarxiv icon

Effective problem solving using SAT solvers

Add code
Bookmark button
Alert button
Jun 14, 2019
Curtis Bright, Jürgen Gerhard, Ilias Kotsireas, Vijay Ganesh

Figure 1 for Effective problem solving using SAT solvers
Figure 2 for Effective problem solving using SAT solvers
Figure 3 for Effective problem solving using SAT solvers
Figure 4 for Effective problem solving using SAT solvers
Viaarxiv icon