dimacs logo color

Events

Event Calendar

« Previous Month

August 2026

Next Month »
Sun Mon Tue Wed Thu Fri Sat
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31

Seminar Details

Boolean Satisfiability

  • Start Date: November 2, 2017
  • Event Start Time: 5:00 PM
  • Event End Time: 6:00 PM
  • Seminar Series: Experimental Math Seminar
  • Presenter(s): Anthony Zaleski - Rutgers University
  • Event Location: Conference Room 705 | Rutgers University | Hill Center | 110 Frelinghuysen Rd
  • Presentation Type: Stand Alone Presentation
  • Abstract:

    Given a logical formula in n Boolean variables, how can we determine whether there is an assignment to the variables that makes it true? This is the task of Boolean satisfiability (SAT), the first problem proved to be NP-complete. Here, we shall talk about our ideas for constructing SAT solvers. Then, we shall discuss some computer-generated results and conjectures regarding generalizations of SAT inspired by integer covering systems. Joint work with Doron Zeilberger.