Solving satisfiability problems using field programmable gate arrays: First results
- 1 January 1996
- book chapter
- Published by Springer Nature
- p. 497-509
- https://doi.org/10.1007/3-540-61551-2_96
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- A theory of diagnosis from first principlesPublished by Elsevier ,2003
- Field-Programmable Gate ArraysPublished by Springer Nature ,1992
- High-Level VLSI SynthesisPublished by Springer Nature ,1991
- A logical framework for depiction and image interpretationArtificial Intelligence, 1989
- Increasing tree search efficiency for constraint satisfaction problemsArtificial Intelligence, 1980
- The complexity of theorem-proving proceduresPublished by Association for Computing Machinery (ACM) ,1971
- A Computing Procedure for Quantification TheoryJournal of the ACM, 1960