PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Bjørner, Nikolaj"

Author of the publication

copydeleteadd this publication to your clipboard
Anatomy of Alternating Quantifier Satisfiability (Work in progress).

, , and . SMT@IJCAR, volume 20 of EPiC Series in Computing, page 120-130. EasyChair, (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Bjørner, Nikolaj
add a person with the name Bjørner, Nikolaj
 

Other publications of authors with the same name

Instantiations, Zippers and EPR Interpolation., , , and . LPAR (short papers), volume 26 of EPiC Series in Computing, page 35-41. EasyChair, (2013)Engineering Theories with Z3.. IWIL@LPAR, volume 22 of EPiC Series in Computing, page 1-2. EasyChair, (2012)Satisfiability Modulo Theories: An Appetizer., and . SBMF, volume 5902 of Lecture Notes in Computer Science, page 23-36. Springer, (2009)Higher-order Program Verification as Satisfiability Modulo Theories with Algebraic Data-types., , and . CoRR, (2013)STeP: Deductive-Algorithmic Verification of Reactive and Real-Time Systems., , , , , , , and . CAV, volume 1102 of Lecture Notes in Computer Science, page 415-418. Springer, (1996)Symbolic Automata Constraint Solving., , and . LPAR (Yogyakarta), volume 6397 of Lecture Notes in Computer Science, page 640-654. Springer, (2010)From Primal Infon Logic with Individual Variables to Datalog., , and . Correct Reasoning, volume 7265 of Lecture Notes in Computer Science, page 72-86. Springer, (2012)Validating datacenters at scale., , , , , , , , , and 7 other author(s). SIGCOMM, page 200-213. ACM, (2019)Deciding Effectively Propositional Logic Using DPLL and Substitution Sets., and . IJCAR, volume 5195 of Lecture Notes in Computer Science, page 410-425. Springer, (2008)Checking Beliefs in Dynamic Networks., , , , and . NSDI, page 499-512. USENIX Association, (2015)