Search Results - "Boolean satisfiability problem"
Suggested Topics within your search.
Suggested Topics within your search.
- Computer algorithms 2
- Verification 2
- 97 mathematics and computing 1
- Chromatic index 1
- Circuit depth 1
- Combinatorial optimization 1
- Computational complexity 1
- Computer simulation 1
- Computer software 1
- Engineering 1
- Formal methods (Computer science) 1
- Integrated circuits 1
- Logic 1
- Mathematics and computing 1
- Propositional calculus 1
- Quantum approximate optimization algorithm 1
- Technology 1
-
1
Transactions on engineering technologies : International MultiConference of Engineers and Computer Scientists, 2013 /
Published 2014Table of Contents: “…Formulation of Boolean Satisfiability Problem /…”
Full Text (via Springer)
Conference Proceeding eBook
-
2
SAT 2005 satisfiability research in the year 2005 /
Published 2006Table of Contents: “…Solving Non-Boolean Satisfiability Problems with Stochastic Local Search: …”
Full Text (via Springer)
Electronic eBook -
3
Digital system verification a combined formal methods and simulation framework /
Published 2010Table of Contents: “…diagrams -- The Boolean satisfiability problem -- Image computation -- BDD-based …”
Full Text (via Morgan & Claypool)
Electronic eBook -
4
Logic as a Tool : a Guide to Formal Logical Reasoning /
Published 2016Full Text (via ProQuest)
Electronic eBook -
5
Theory and applications of satisfiability testing -- SAT 2020 23rd International Conference, Alghero, Italy, July 3-10, 2020, Proceedings /
Published 2020Table of Contents: “…Preliminaries -- 2.1 Boolean Satisfiability Problem -- 2.2 Literal Block Distance -- …”
Full Text (via Springer)
Electronic Conference Proceeding eBook -
6
Lower bounds on circuit depth of the quantum approximate optimization algorithm
Published 2021Full Text (via OSTI)
Government Document Electronic eBook