Conflict driven learning in a quantified Boolean Satisfiability solver

There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Author and article information

Conference

Publication date (Print): 2002

Pages: 442-449

Article

DOI: 10.1145/774572.774637

SO-VID: f731fe66-d0e3-4ff4-a727-cbb2304b5719

Conference name: the 2002 IEEE/ACM international conference

Conference acronym: ICCAD '02

Conference number: 20

Conference location: San Jose, California

Conference date: December 10, 2002 - December 14, 2002

Conference sponsor: IEEE Circuits & Systems Society

Conference sponsor: IEEE-CS\DATC, IEEE Computer Society

Conference sponsor: SIGDA, ACM Special Interest Group on Design Automation

History

Data availability:

Comments

Comment on this article

scite_

Smart Citations

Citing PublicationsSupportingMentioningContrasting

View Citations

See how this article has been cited at scite.ai

scite shows how a scientific paper has been cited by providing the context of the citation, a classification describing whether it supports, mentions, or contrasts the cited claim, and a label indicating in which section the citation was made.