Antichain-Based QBF Solving.

Thomas Brihaye Véronique Bruyère Laurent Doyen Marc Ducobu Jean-François Raskin

Published in: ATVA (2011)

Keyphrases

boolean formula
database
neural network
information systems
case study
combinatorial optimization